Lists (4)
Starred repositories
8
stars
written in Agda
Clear filter
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Logical manifestations of topological concepts, and other things, via the univalent point of view.