/pumpkin-pi

An extension to PUMPKIN PATCH with support for proof repair across type equivalences.

Primary LanguageCoqMIT LicenseMIT

Watchers