uwplse/pumpkin-pi

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

CoqStars 49Forks 9Watchers 49Open issues 29License MIT License

Details

仓库信息

Owneruwplse

Homepage—

Last pushed2025-08-21

Last updated2025-12-15

Issues fetched at—

Community at a glance