A Python package for deal with logical formulas and formal systems (e.g. FOL)
Primary LanguagePythonMIT LicenseMIT