https://pypi.org/project/aristotlelib/ Recent updates to the Python Package Index for aristotlelib en https://pypi.org/project/aristotlelib/1.0.0/ Aristotle SDK - Python library for automated theorem proving with Lean Tue, 17 Mar 2026 20:08:55 GMT https://pypi.org/project/aristotlelib/0.7.0/ Aristotle SDK - Python library for automated theorem proving with Lean Mon, 26 Jan 2026 23:29:08 GMT https://pypi.org/project/aristotlelib/0.6.0/ Aristotle SDK - Python library for automated theorem proving with Lean Sat, 06 Dec 2025 00:22:51 GMT https://pypi.org/project/aristotlelib/0.5.5/ Aristotle SDK - Python library for automated theorem proving with Lean Fri, 05 Dec 2025 22:32:22 GMT https://pypi.org/project/aristotlelib/0.5.4/ Aristotle SDK - Python library for automated theorem proving with Lean Fri, 05 Dec 2025 22:27:23 GMT https://pypi.org/project/aristotlelib/0.5.2/ Aristotle SDK - Python library for automated theorem proving with Lean Wed, 26 Nov 2025 17:47:17 GMT https://pypi.org/project/aristotlelib/0.5.1/ Aristotle SDK - Python library for automated theorem proving with Lean Tue, 25 Nov 2025 07:44:12 GMT https://pypi.org/project/aristotlelib/0.5.0/ Aristotle SDK - Python library for automated theorem proving with Lean Thu, 20 Nov 2025 18:00:56 GMT https://pypi.org/project/aristotlelib/0.4.3/ Aristotle SDK - Python library for automated theorem proving with Lean Fri, 07 Nov 2025 21:42:51 GMT https://pypi.org/project/aristotlelib/0.4.2/ Aristotle SDK - Python library for automated theorem proving with Lean Thu, 06 Nov 2025 01:13:33 GMT https://pypi.org/project/aristotlelib/0.4.1/ Aristotle SDK - Python library for automated theorem proving with Lean Thu, 30 Oct 2025 23:12:36 GMT https://pypi.org/project/aristotlelib/0.4.0/ Aristotle SDK - Python library for automated theorem proving with Lean Tue, 28 Oct 2025 21:42:33 GMT https://pypi.org/project/aristotlelib/0.3.0/ Aristotle SDK - Python library for automated theorem proving with Lean Tue, 21 Oct 2025 22:47:44 GMT https://pypi.org/project/aristotlelib/0.2.5/ Aristotle SDK - Python library for automated theorem proving with Lean Mon, 20 Oct 2025 23:27:55 GMT https://pypi.org/project/aristotlelib/0.2.4/ Aristotle SDK - Python library for automated theorem proving with Lean Wed, 15 Oct 2025 23:52:00 GMT https://pypi.org/project/aristotlelib/0.2.3/ Aristotle SDK - Python library for automated theorem proving with Lean Tue, 14 Oct 2025 21:23:32 GMT https://pypi.org/project/aristotlelib/0.2.2/ Aristotle SDK - Python library for automated theorem proving with Lean Sun, 12 Oct 2025 02:48:07 GMT https://pypi.org/project/aristotlelib/0.1.2/ Aristotle SDK - Python library for automated theorem proving with Lean Sun, 12 Oct 2025 02:48:06 GMT https://pypi.org/project/aristotlelib/0.2.1/ Aristotle SDK - Python library for automated theorem proving with Lean Thu, 09 Oct 2025 22:37:05 GMT https://pypi.org/project/aristotlelib/0.2.0/ Aristotle SDK - Python library for automated theorem proving with Lean Thu, 09 Oct 2025 21:22:24 GMT https://pypi.org/project/aristotlelib/0.1.1/ Aristotle SDK - Python library for automated theorem proving with Lean Wed, 08 Oct 2025 21:09:49 GMT https://pypi.org/project/aristotlelib/0.1.0/ Aristotle SDK - Python library for automated theorem proving with Lean Tue, 07 Oct 2025 22:27:36 GMT