formal-logic
Python library for computational formal logic, formal semantics, and theorem proving
A Python package for deal with logical formulas and formal systems (e.g. FOL)
A Python library providing basic functionalities for manipulating propositional logic
Source code for the mvlogics python library.
