Python library for computational formal logic, formal semantics, and theorem proving
Primary LanguagePythonMIT LicenseMIT