xavierleroy/cdf-sem-meca
Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020
CoqLGPL-2.1
Stargazers
- acorrensonCISPA Helmholtz Center for Information Security
- apeyroux
- ArthurFerreira2Paris, FR
- bsall
- germanDTrilitech
- glmxndrMonkeyPatch
- hannelita(x, y, z, t)
- Lapin0t
- MaximeJumelleParis
- mquandalleParis, France
- nathsou@CERN
- nono2357Paris, France
- NotBad4UInria
- p1way
- phinkNomadic Labs
- samoht@tarides
- smimram
- smondetNew York, NY
- smorimoto@ocaml @tc39
- YaZko