ml4tp / tcoq

Modification to Coq to record intermediate proof states encountered during a proof
7Updated 5 years ago

Alternatives and similar repositories for tcoq:

Users that are interested in tcoq are comparing it to the libraries listed below