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