An implementation of first-order logic in Python.
Primary LanguagePythonMIT LicenseMIT
This repository is not active