/ctp

Conditional Theorem Proving

Primary LanguagePythonMIT LicenseMIT

Stargazers