IanRay11's starred repositories
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
agda-unimath
The agda-unimath library
TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.