A specialized computer algebra system for the study of commutativity up to coherent homotopies
Primary LanguagePythonMIT LicenseMIT
No one’s watching this repository yet.