Projects in Awesome Lists tagged with pumpkin-patch
A curated list of projects in awesome lists tagged with pumpkin-patch .
https://github.com/uwplse/pumpkin-patch
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
coq coq-plugin proof-automation proof-repair pumpkin-patch
Last synced: 31 Jul 2025
https://github.com/uwplse/pumpkin-pi
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
algebraic-ornaments coq coq-plugin dependent-types devoid equivalences ornaments proof-assistants proof-refactoring proof-repair proof-reuse pumpkin-patch pumpkin-pi refactoring repair transport
Last synced: 02 Apr 2026
https://github.com/uwplse/coq-plugin-lib
Library of useful utility functions for Coq plugins
coq coq-library coq-plugin library pumpkin-patch
Last synced: 12 Apr 2025
https://github.com/uwplse/fix-to-elim
Fixpoint to eliminator translation in Coq
coq coq-plugin eliminators fixpoints induction-principles pumpkin-patch
Last synced: 12 Apr 2025