Locus
Repositories
Issues
Comments
Results
1
repositories owned by
Locus
locus
17
Stars
1
Forks
Watchers
A specialised computer algebra system for topos theory.
locusmath
algebraic-geometry
applied-category-theory
categorical-logic
cubes