IanRay11's repositories
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
agda-unimath
Univalent mathematics in Agda
Language:MakefileMIT000
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Univalent mathematics in Agda