A Python library for logic formalisms representation and manipulation.
A Python implementation of the FLLOAT library.
A Python package for deal with logical formulas and formal systems (e.g. FOL)
