uwplse/pumpkin-pi
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
CoqMIT
Stargazers
- AD1024@PrincetonUniversity
- annenkovConcordium
- anton-trunovTON Foundation
- binaryflesh
- brendanzab@yeslogic
- clayratIMDEA Software
- codyroux
- danielcieslinskiNational Centre for Nuclear Research
- dannypsnl@second-state
- DimitreeeMoscow, Russia
- dkrustev
- dtpetersFreelance
- erikmdLab. IRIT, Univ. Toulouse 3 Paul Sabatier
- flupeTU Delft
- frankymacster
- halfayaHalfaya Research
- jmitchellSeattle
- joom@Bloomberg
- k4rtikUChicago CS
- L-TChenInstitute of Information Science, Academia Sinica
- Lysxia
- mukeshtiwariSwansea
- mx00sMicrosoft Research
- philzook58Draper
- potan
- PyroLagus
- qishenEarth
- QuXing9NorthWest University
- scott-fleischman
- smondetNew York, NY
- smorimoto@ocaml @tc39
- themattchan@awakesecurity
- tmouxSwarthmore, PA
- typesAreSpaces
- vyorkin@zeriontech
- Zimmi48Télécom Paris