An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
Coq
50
1,652 commits
updated Aug 21, 2025
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
Contributors
Languages
Coq
63.3%
OCaml
34.7%
Shell
2.0%
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
Coq
50
1,652 commits
updated Aug 21, 2025
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
Contributors
Languages
Coq
63.3%
OCaml
34.7%
Shell
2.0%