euclidean plane geometry
reals
reals model euclidean geometry
reals_2
inner product spaces
labeled trees
linear algebra
constructive set theory
Numbers and Games
lattices
free groups
small categories
constructive algebra
intuitionistic topology
presheaf models of type theory
cubical type theory
cubical sets


Home Index