uwplse/PUMPKIN-PATCH

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

语言：OCaml · GitHub 星标：54 · Fork：2

话题：coq · coq-plugin · proof-automation · proof-repair · pumpkin-patch

在 GitHub 上查看原仓库