formal-logic
Python library for computational formal logic, formal semantics, and theorem proving
Python package for deal with logical formulas and formal systems
A library providing basic functionalities for manipulating propositional logic
