ettorealdrovandi

Florida State University

Pinned Repositories

1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Language:Agda0 0 00
agda-mas5932
Homotopy Type Theory and categorical algebra experiments in the style of UniMath
Language:Agda2 1 00
agda-unimath
Univalent mathematics in Agda
Language:Agda0 0 00
TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Language:Agda2 0 00
TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Language:Agda237 16 3741

ettorealdrovandi's Repositories

ettorealdrovandi/agda-mas5932
Homotopy Type Theory and categorical algebra experiments in the style of UniMath
Language:Agda2 1 00
ettorealdrovandi/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
Language:Agda2 0 00
ettorealdrovandi/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Language:Agda0 0 00
ettorealdrovandi/agda-unimath
Univalent mathematics in Agda
Language:Agda0 0 00