PyPI recent updates for logic-prover https://pypi.org/project/logic-prover/ Recent updates to the Python Package Index for logic-prover en 0.2.0 https://pypi.org/project/logic-prover/0.2.0/ A formal logic theorem prover, explorer, deducer, and LEAN exporter in Python. mail@francofantomius.com Tue, 18 Aug 2026 16:13:32 GMT 0.1.5 https://pypi.org/project/logic-prover/0.1.5/ A formal logic theorem prover, explorer, deducer, and LEAN exporter in Python. mail@francofantomius.com Sat, 15 Aug 2026 14:55:27 GMT