uwplse/PUMPKIN-PATCH
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
OCamlMIT
Stargazers
- anton-trunovTON Foundation
- beike-zh
- BelegCuthalionTehran
- bennnUniversity of Utah
- brendanzab@yeslogic
- cpresseyOffice... submarine!
- darzu
- dkrustev
- erikmdLab. IRIT, Univ. Toulouse 3 Paul Sabatier
- frankymacster
- GrahamCampbellGraham Campbell Technology Ltd
- itchychips
- JasonGrossMachine Intelligence Research Institute
- joom@Bloomberg
- kalaider
- linusboyleTsinghua University
- mattjquinn
- medson10Votorantim, Brazil
- mikolmogorovNational Cancer Institute
- mukeshtiwariSwansea
- mx00sMicrosoft Research
- philzook58Draper
- rrika
- ryblaCS PhD student at UMD
- samoht@tarides
- smondetNew York, NY
- smorimoto@ocaml @tc39
- ssoudanSan Jose, CA
- Sumith1896@black-forest-labs
- sureyeaahindia
- tlringerChampaign, IL
- typesAreSpaces
- vyorkin@zeriontech
- xuanruiqiGraduate School of Mathematics, Nagoya University
- yomimonoWisconsin, USA
- Zimmi48Télécom Paris