pumpkin-patch

There are 0 repository under pumpkin-patch topic.

• uwplse / PUMPKIN-PATCH

  Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

  coqpumpkin-patchcoq-pluginproof-repairproof-automation
  Language:OCaml 50

• uwplse / pumpkin-pi

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

  coqcoq-pluginpumpkin-patchdevoidornamentsproof-reusedependent-typesalgebraic-ornamentspumpkin-piequivalencestransportproof-repairrepairrefactoringproof-refactoringproof-assistants
  Language:Coq 49

• uwplse / coq-plugin-lib

  Library of useful utility functions for Coq plugins

  coqpumpkin-patchlibrarycoq-librarycoq-plugin
  Language:OCaml 12

• uwplse / fix-to-elim

  Fixpoint to eliminator translation in Coq

  pumpkin-patchfixpointsinduction-principleseliminatorscoqcoq-plugin
  Language:Coq 3