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

Use better evar hygiene #53

Closed tlringer closed 4 years ago

tlringer commented 5 years ago

See: https://github.com/coq/coq/pull/10304