https://pypi.org/project/lean-interact/ Recent updates to the Python Package Index for lean-interact en https://pypi.org/project/lean-interact/0.11.3/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Thu, 14 May 2026 21:14:46 GMT https://pypi.org/project/lean-interact/0.11.2/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Sun, 12 Apr 2026 09:10:59 GMT https://pypi.org/project/lean-interact/0.11.1/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Sun, 22 Feb 2026 18:50:05 GMT https://pypi.org/project/lean-interact/0.11.0/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Thu, 29 Jan 2026 14:08:49 GMT https://pypi.org/project/lean-interact/0.10.5/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Mon, 15 Dec 2025 15:42:40 GMT https://pypi.org/project/lean-interact/0.10.4/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Mon, 01 Dec 2025 18:34:34 GMT https://pypi.org/project/lean-interact/0.10.3/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Tue, 25 Nov 2025 12:39:58 GMT https://pypi.org/project/lean-interact/0.10.2/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Mon, 24 Nov 2025 10:01:30 GMT https://pypi.org/project/lean-interact/0.10.1/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Mon, 24 Nov 2025 09:06:31 GMT https://pypi.org/project/lean-interact/0.10.0/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Tue, 18 Nov 2025 16:08:10 GMT https://pypi.org/project/lean-interact/0.9.3/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Mon, 17 Nov 2025 10:36:21 GMT https://pypi.org/project/lean-interact/0.9.2/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Wed, 22 Oct 2025 17:42:15 GMT https://pypi.org/project/lean-interact/0.9.1/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Tue, 14 Oct 2025 21:23:46 GMT https://pypi.org/project/lean-interact/0.9.0/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Mon, 13 Oct 2025 10:05:15 GMT https://pypi.org/project/lean-interact/0.8.3/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Mon, 15 Sep 2025 17:57:05 GMT https://pypi.org/project/lean-interact/0.8.2/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Fri, 15 Aug 2025 12:44:20 GMT https://pypi.org/project/lean-interact/0.8.1/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Thu, 14 Aug 2025 12:32:32 GMT https://pypi.org/project/lean-interact/0.8.0/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Thu, 24 Jul 2025 09:05:17 GMT https://pypi.org/project/lean-interact/0.7.0/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Fri, 04 Jul 2025 13:39:42 GMT https://pypi.org/project/lean-interact/0.6.3/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Tue, 01 Jul 2025 09:18:50 GMT https://pypi.org/project/lean-interact/0.6.2/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Mon, 30 Jun 2025 08:43:14 GMT https://pypi.org/project/lean-interact/0.6.1/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Tue, 24 Jun 2025 12:59:54 GMT https://pypi.org/project/lean-interact/0.6.0/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Thu, 05 Jun 2025 22:19:42 GMT https://pypi.org/project/lean-interact/0.5.3/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Sun, 18 May 2025 09:00:12 GMT https://pypi.org/project/lean-interact/0.5.2/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Thu, 01 May 2025 20:38:56 GMT https://pypi.org/project/lean-interact/0.5.1/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Wed, 30 Apr 2025 12:07:26 GMT https://pypi.org/project/lean-interact/0.5.0/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Mon, 21 Apr 2025 18:51:35 GMT https://pypi.org/project/lean-interact/0.4.1/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Fri, 18 Apr 2025 11:25:30 GMT https://pypi.org/project/lean-interact/0.4.0/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Fri, 11 Apr 2025 10:52:55 GMT https://pypi.org/project/lean-interact/0.3.3/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Fri, 04 Apr 2025 08:29:56 GMT https://pypi.org/project/lean-interact/0.3.2/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Thu, 03 Apr 2025 11:19:08 GMT https://pypi.org/project/lean-interact/0.3.1/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Wed, 02 Apr 2025 21:35:08 GMT https://pypi.org/project/lean-interact/0.3.0/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Wed, 02 Apr 2025 20:23:06 GMT https://pypi.org/project/lean-interact/0.2.0/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Tue, 18 Mar 2025 16:36:26 GMT https://pypi.org/project/lean-interact/0.1.0/ LeanInteract is a Python package that allows you to interact with the Lean theorem prover. auguste.poiroux@epfl.ch Wed, 05 Feb 2025 17:09:40 GMT