https://pypi.org/project/mltp/ Recent updates to the Python Package Index for mltp en https://pypi.org/project/mltp/0.1.0/ Tools for propositional and predicate logic, based on the textbook Mathematical Logic Through Python by Nisan and Gonczarowski bolusharris@gmail.com Wed, 01 Oct 2025 16:33:38 GMT