GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ proof-repair
Top 1 proof-repair open source projects
PUMPKIN-PATCH
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
✭ 43
ocaml
Coq
Makefile
shell
coq
coq-plugin
proof-automation
pumpkin-patch
proof-repair
1-1
of
1
proof-repair projects
