coq-community/coq-100-theorems
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
HTMLNOASSERTION
Stargazers
- anandijainSan Jose CA, Boston MA
- anton-trunovhttps://tonstudio.io
- cirosantilli2020冠状病毒审查 ，2020郝海东 ，2018新疆改造中心，1989六四事件，1999法轮功 ，2019 996.ICU, 2018包子露宪，2015 709大抓捕，2015巴拿马文件 邓家贵，2017低端人口，2008西藏骚乱<script>alert(1)</script>
- CYBAITokyo
- EdwardzcnUSTC
- ekim1919
- evdenis
- fweyh4D Concept
- hdorio
- hungshihhan
- hvlckMars
- iambrjIIIT Hyderabad
- isnullxbh@newcloudtechnologies
- jbrkrHarvard University
- jmadiot
- KraksINRIA/ENS; Tufts
- m13mBalagh FZE LLC
- marulituaBali
- mmirmanExtensional
- NeM-T
- nikitavoloboevMadrid
- nkruschUnited States
- owl-bo
- pitcerPoland
- pokhym
- Risto-StevcevSkopje, North Macedonia
- rsoeldner
- RyanCargan
- SeniorMars
- smondetNew York, NY
- smorimoto@ocaml @tc39
- ST-48-1240162
- StardustGogeta
- Triang-jyed-driungL'Université Tsinghua
- Tridu33
- zicklag@katharostech