uclnlp / ctp

Conditional Theorem Proving
51Updated 3 years ago

Alternatives and similar repositories for ctp:

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