Ported the plugin to Coq 8.13

uwplse / pumpkin-pi

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

MIT License

49 stars 9 forks source link

Open agrarpan opened 4 weeks ago