We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
A Learning Environment for Theorem Proving
Coq 76 15
Modification to Coq to record intermediate proof states encountered during a proof
OCaml 8 3
There was an error while loading. Please reload this page.
Loading…