coq-community/goedel
Archived since the contents have been moved to the Hydras & Co. repository
CoqMIT
Stargazers
- ana-borges
- archywillheBerlin
- AYUSHMITUSA
- chaoscalm
- co-danGroningen
- crabbo-raveIn a chair
- CYBAITokyo
- dalakatt@mention
- dannypsnl@second-state
- dokyungs
- Ed94Metavoke
- fygar256Kochi, Japan
- HexirpJapan
- huynhtrankhanh@coq-community
- ids1024@System76
- kt3k@denoland
- LessnessRandomness
- ljdavns
- LucianoXu
- NeM-T
- nikitavoloboevMadrid
- oneofvalts
- sailfish009freelancer
- SeniorMars
- smorimoto@ocaml @tc39
- SnO2WMaNチルノのパーフェクトさんすう教室
- soyamagicTokyo, JPN
- TonalidadeHidrica