marcofavorito/pythogic
A Python package for deal with logical formulas and formal systems (e.g. FOL)
PythonMIT
No issues in this repository yet.
A Python package for deal with logical formulas and formal systems (e.g. FOL)
PythonMIT
No issues in this repository yet.