A python library that creates a CAS for category theory. I've called this a CCTS, because categories generalise algebras, of course!
A python library that creates a CAS for category theory. I've called this a CCTS, because categories generalise algebras, of course!
A python library that creates a CAS for category theory. I've called this a CCTS, because categories generalise algebras, of course!
A python library that creates a CAS for category theory. I've called this a CCTS, because categories generalise algebras, of course!
GNU General Public License v2.0