uclnlp / ctp

Conditional Theorem Proving
53Updated 4 years ago

Alternatives and similar repositories for ctp:

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