folpy (pypi): First Order Logic Python Library
Keywords: algebra|first-order-logic|folpy|lattice|python|universal-algebra