pumpkin-patch

There are 4 repositories under pumpkin-patch topic.

uwplse/PUMPKIN-PATCH
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
Language:OCaml51 10 632
uwplse/pumpkin-pi
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
Language:Coq49 11 579
uwplse/coq-plugin-lib
Library of useful utility functions for Coq plugins
Language:OCaml12 7 255
uwplse/fix-to-elim
Fixpoint to eliminator translation in Coq
Language:Coq3 5 105