https://pypi.org/project/leanclient/ Recent updates to the Python Package Index for leanclient en https://pypi.org/project/leanclient/0.10.0/ Interact with the Lean theorem prover language server hey@oli.show Mon, 04 May 2026 08:23:20 GMT https://pypi.org/project/leanclient/0.9.4/ Interact with the Lean theorem prover language server hey@oli.show Tue, 17 Mar 2026 09:49:22 GMT https://pypi.org/project/leanclient/0.9.3/ Interact with the Lean theorem prover language server hey@oli.show Sun, 08 Mar 2026 13:15:38 GMT https://pypi.org/project/leanclient/0.9.2/ Interact with the Lean theorem prover language server hey@oli.show Mon, 12 Jan 2026 18:19:34 GMT https://pypi.org/project/leanclient/0.9.1/ Interact with the Lean theorem prover language server hey@oli.show Mon, 12 Jan 2026 07:13:55 GMT https://pypi.org/project/leanclient/0.9.0/ Interact with the Lean theorem prover language server hey@oli.show Fri, 09 Jan 2026 11:15:28 GMT https://pypi.org/project/leanclient/0.8.0/ Interact with the Lean theorem prover language server hey@oli.show Fri, 19 Dec 2025 14:42:28 GMT https://pypi.org/project/leanclient/0.7.0/ Interact with the Lean theorem prover language server hey@oli.show Wed, 17 Dec 2025 23:03:07 GMT https://pypi.org/project/leanclient/0.6.2/ Interact with the Lean theorem prover language server hey@oli.show Tue, 16 Dec 2025 13:24:43 GMT https://pypi.org/project/leanclient/0.6.1/ Interact with the Lean theorem prover language server hey@oli.show Wed, 03 Dec 2025 07:50:08 GMT https://pypi.org/project/leanclient/0.6.0/ Interact with the Lean theorem prover language server hey@oli.show Wed, 03 Dec 2025 07:47:37 GMT https://pypi.org/project/leanclient/0.5.5/ Interact with the Lean theorem prover language server hey@oli.show Thu, 20 Nov 2025 02:27:58 GMT https://pypi.org/project/leanclient/0.5.4/ Interact with the Lean theorem prover language server hey@oli.show Wed, 19 Nov 2025 11:11:16 GMT https://pypi.org/project/leanclient/0.5.3/ Interact with the Lean theorem prover language server hey@oli.show Sun, 16 Nov 2025 09:37:33 GMT https://pypi.org/project/leanclient/0.5.2/ Interact with the Lean theorem prover language server hey@oli.show Mon, 10 Nov 2025 08:30:24 GMT https://pypi.org/project/leanclient/0.5.1/ Interact with the Lean theorem prover language server hey@oli.show Sun, 09 Nov 2025 19:02:22 GMT https://pypi.org/project/leanclient/0.5.0/ Interact with the Lean theorem prover language server hey@oli.show Fri, 07 Nov 2025 17:02:14 GMT https://pypi.org/project/leanclient/0.4.0/ Interact with the Lean theorem prover language server hey@oli.show Wed, 29 Oct 2025 10:53:26 GMT https://pypi.org/project/leanclient/0.3.1/ Interact with the Lean theorem prover language server hey@oli.show Mon, 27 Oct 2025 17:35:48 GMT https://pypi.org/project/leanclient/0.1.1/ Interact with the Lean theorem prover language server hey@oli.show Mon, 27 Oct 2025 17:35:05 GMT https://pypi.org/project/leanclient/0.3.0/ Interact with the Lean theorem prover language server hey@oli.show Tue, 21 Oct 2025 01:33:11 GMT https://pypi.org/project/leanclient/0.2.1/ Interact with the Lean theorem prover language server hey@oli.show Sat, 18 Oct 2025 21:56:23 GMT https://pypi.org/project/leanclient/0.2.0/ Interact with the Lean theorem prover language server hey@oli.show Wed, 15 Oct 2025 16:01:51 GMT https://pypi.org/project/leanclient/0.1.14/ Interact with the Lean theorem prover language server hey@oli.show Tue, 15 Jul 2025 08:31:54 GMT https://pypi.org/project/leanclient/0.1.13/ Interact with the Lean theorem prover language server hey@oli.show Fri, 20 Jun 2025 11:17:53 GMT https://pypi.org/project/leanclient/0.1.12/ Interact with the Lean theorem prover language server hey@oli.show Mon, 09 Jun 2025 20:12:13 GMT https://pypi.org/project/leanclient/0.1.11/ Interact with the Lean theorem prover language server hey@oli.show Sun, 01 Jun 2025 16:50:11 GMT https://pypi.org/project/leanclient/0.1.10/ Interact with the Lean theorem prover language server hey@oli.show Sun, 11 May 2025 07:57:33 GMT https://pypi.org/project/leanclient/0.1.9/ Interact with the Lean theorem prover language server hey@oli.show Thu, 17 Apr 2025 13:10:21 GMT https://pypi.org/project/leanclient/0.1.8/ Interact with the Lean theorem prover language server hey@oli.show Thu, 17 Apr 2025 11:46:08 GMT https://pypi.org/project/leanclient/0.1.7/ Interact with the Lean theorem prover language server hey@oli.show Tue, 18 Mar 2025 08:12:23 GMT https://pypi.org/project/leanclient/0.1.6/ Interact with the Lean theorem prover language server hey@oli.show Tue, 18 Mar 2025 08:08:46 GMT https://pypi.org/project/leanclient/0.1.5/ Interact with the Lean theorem prover language server hey@oli.show Fri, 14 Mar 2025 14:06:52 GMT https://pypi.org/project/leanclient/0.1.4/ Interact with the Lean theorem prover language server hey@oli.show Fri, 14 Mar 2025 09:23:11 GMT https://pypi.org/project/leanclient/0.1.3/ Interact with the Lean theorem prover language server hey@oli.show Mon, 24 Feb 2025 19:59:02 GMT https://pypi.org/project/leanclient/0.1.2/ Interact with the Lean theorem prover language server hey@oli.show Thu, 20 Feb 2025 13:43:02 GMT https://pypi.org/project/leanclient/0.1.0b10/ Interact with the Lean theorem prover language server hey@oli.show Wed, 29 Jan 2025 15:40:02 GMT https://pypi.org/project/leanclient/0.1.0b9/ Interact with the Lean theorem prover language server hey@oli.show Thu, 16 Jan 2025 10:17:31 GMT https://pypi.org/project/leanclient/0.1.0b8/ Interact with the Lean theorem prover language server hey@oli.show Wed, 15 Jan 2025 21:04:35 GMT https://pypi.org/project/leanclient/0.1.0b7/ Interact with the Lean theorem prover language server hey@oli.show Tue, 14 Jan 2025 21:37:14 GMT