IanRay11

Pinned Repositories

TypeTopology-IanRay11
Language:Agda0 1 00
agda-unimath
Univalent mathematics in Agda
Language:Makefile0 0 00
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Language:Agda3 0 00
TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Language:Agda236 16 3741
agda-unimath
The agda-unimath library
Language:Agda226 9 14770

IanRay11's Repositories

IanRay11/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Language:Agda3 0 00
IanRay11/agda-unimath
Univalent mathematics in Agda
Language:Makefile0 0 00