A specialized computer algebra system for the study of commutativity up to coherent homotopies
Primary LanguagePythonMIT LicenseMIT