coq-community/topology
General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
CoqNOASSERTION
Stargazers
- adpextwindongWARN Industries, Inc.
- adrianmartir
- andreypopp@mechanize-systems
- ayberktUniversity of Birmingham
- BalanceYan
- Bia10
- brrmorreSiFive
- caotic123UFVJM - Universidade do Vale do Jequitinhonha e Mucuri.
- doctor-pi
- dongjaelee1
- igorlanovRussia
- ihasson
- Jmw150
- joprice
- lukaszcz
- medson10Votorantim, Brazil
- moritayasuakiL
- mseriRijksuniversiteit Groningen
- ndcroos
- NeM-T
- nikitavoloboevMadrid
- pguillon
- philzook58Draper
- progerSupercomputer City
- sguzmanBakersfield, CA
- smondetNew York, NY
- smorimoto@ocaml @tc39
- stop-cranLimassol
- supalogix
- tkersey@thisisartium
- vhxs@JHUAPL
- vinothkr@PicnicSupermarket
- vyorkin@zeriontech
- wangzuo@swiftcarrot
- yishibashi
- zzfnohell