UniMath/Foundations
Voevodsky's original development of the univalent foundations of mathematics in Coq
Coq
Stargazers
- aculichD-Lab @ UC Berkeley
- alpheccar
- andrejbauerUniversity of Ljubljana
- cameronraysmithHarvard Medical School
- CauchyPeanoGoogle
- clayratIMDEA Software
- DanGrayson
- dyokomizoHumanity
- eipipuzSan Francisco
- eparejatobes
- folone@reddit
- georgethomas
- glug
- greenrdLondon, England
- harmatySPb
- huitseeker4DE3 AD16 FA0A 584B 3C8D C054 3ACB 4CB1 5EA2 FFD6
- ingeniarius
- isomorphismsAntarctica
- jcranch
- jfischofffal.ai
- jquattrocchi
- lockieMontenegro, Podgorica
- manuel
- metakeuleAsunción / Paraguay
- mprochTouk
- paurkedalDenmark
- puffnfreshLaunceston & North East Railway
- rehno-lindequeCircuitHub
- ruudkootLondon, UK
- sdiehlLondon
- shivak
- spittersAarhus University
- vladimirias
- wiresStatebox
- yziquel
- zitterbewegungA Cons Apart