coq-community/awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
CC0-1.0
Stargazers
- AcentellesLondon
- agentofuser@Keykapp
- AlexiaChenFreelancer
- anton-trunovTON Foundation
- clarusFormal Land
- danidiazArtificial Labs
- dmjioAustin, TX
- dranovSingapore
- erikmdLab. IRIT, Univ. Toulouse 3 Paul Sabatier
- ichistmeinname@Cap3
- k4rtikUChicago CS
- kamilchmWarsaw, Poland
- langston-barrett@GaloisInc
- liyishuai@Alibaba
- luca-apostoli
- manik1337
- marat-curiousMoscow
- medson10Votorantim, Brazil
- mkoloberdin
- mtrsk@Divisions-Maintenance-Group @schonfinkel @Tarski-Labs
- newswim@Atlassian
- philzook58Draper
- PitometsuUkraine
- pshirshov@7mind
- quinn-doughertyBerkeley
- romain-fontugneInternet Initiative Japan
- scott-fleischman
- smorimoto@ocaml @tc39
- SorinSUK
- tao524
- teto/nix/store/candies
- timothyklim
- tkersey@thisisartium
- yaman@skydome
- yoneda0x36
- Zimmi48Télécom Paris