xavierleroy/cdf-mech-sem
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
CoqLGPL-2.1
Stargazers
- 5HT@arvo-computer
- AbdallahS
- acorrensonENS Rennes, Saarland University, CISPA
- alan-j-huAmerica
- alinabNCSA, University of Illinois Urbana-Champaign
- AndreasLoow
- anlunJetBrains Research
- beike-zh
- brendanzab@yeslogic
- btoninho
- chabulhwiSemmalgil
- clarusFormal Land
- co-danGroningen
- d-plaindouxFreelance at Fungus
- dannypsnl@second-state
- dmhowcroftScotland
- erikmdLab. IRIT, Univ. Toulouse 3 Paul Sabatier
- euisunyUniversity of Pennsylvania
- fchGermany
- hannelita(x, y, z, t)
- iambrjIIIT Hyderabad
- jfmc
- KinanBabBoston University
- lukaszcz
- mateoatrLondon, UK
- mukeshtiwariSwansea
- mzhu-zxMaryland
- nathsou@CERN
- nikitavoloboevTbilisi
- philzook58Draper
- smimram
- smondetNew York, NY
- smorimoto@ocaml @tc39
- tbrkInria
- timothyklim
- xvw@funkywork, @tarides