GitHub repository: uwplse/PUMPKIN-PATCH
Primary language: OCaml
Created: 2017-10-07T02:58:25Z
Description: Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker