Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker - View it on GitHub
Star
53
Rank
492350