/logiclib

A Python library for first-order logic.

Primary LanguagePythonMIT LicenseMIT

Watchers