Python library for computational formal logic, formal semantics, and theorem proving
Primary LanguagePythonMIT LicenseMIT
No issues in this repository yet.