IanRay11

Pinned Repositories

TypeTopology-IanRay11
Language:Agda00
agda-unimath
Univalent mathematics in Agda
Language:Makefile00
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Language:Agda30
TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Language:Agda226 16 3741
agda-unimath
The agda-unimath library
Language:Agda217 10 14169

IanRay11's Repositories

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