pumpkin-pi
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
49 stars
11 watching
9 forks
Language: Coq
last commit: 18 days ago algebraic-ornamentscoqcoq-plugindependent-typesdevoidequivalencesornamentsproof-assistantsproof-refactoringproof-repairproof-reusepumpkin-patchpumpkin-pirefactoringrepairtransport