An implementation of first-order logic in Python.
Primary LanguagePythonMIT LicenseMIT
No issues in this repository yet.