There are 0 repository under pumpkin-patch topic.
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
Library of useful utility functions for Coq plugins
Fixpoint to eliminator translation in Coq