Last released Jun 21, 2021
A specialized computer algebra system for the study of commutativity up to coherent homotopies
Last released Sep 25, 2019
A package to define and use simplicial operators
Supported by