Last released Jul 24, 2026
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