UniMath/Foundations
Voevodsky's original development of the univalent foundations of mathematics in Coq
Coq
Watchers
- alpheccar
- antifaceAutonomous worker / Independent Artist-Researcher
- benediktahrensDelft University of Technology, NL
- bewrrrieCharlottesville, VA
- blackaller
- caocao485beijing
- DanGrayson
- DavidMichaelRoberts
- eemailme
- ericpashman
- gancedo
- gitpaulsmith
- headesAugusta University
- jackolanternBrooklyn, NY
- jamhedNelcom s.r.o.
- jhcloos
- joshveraNew York, NY
- lambdaterm
- lin7shAuckland
- lulucca12
- marzhallPennsylvania, USA
- mikeshulmanUniversity of San Diego
- mprochTouk
- rajeshkrthakurDept. of Computer Science and Automation, Indian Institute of Science
- roman3017
- rpressantiDirection Générale de l'Aviation Civile
- suszc
- svevang
- TheNomadicMonad