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

Fix 29/31 of the bugs in ListToVect.v #59

Closed tlringer closed 5 years ago