pumpkin-patch topic
List
pumpkin-patch repositories
PUMPKIN-PATCH
50
Stars
2
Forks
Watchers
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
pumpkin-pi
49
Stars
9
Forks
Watchers
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.