search

uwplse / pumpkin-pi

An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
MIT License
49 stars 9 forks source link

Update to Coq 8.8 #5

Closed tlringer closed 6 years ago

tlringer commented 6 years ago

Thanks to Emilio and Gaetan for debugging