https://pypi.org/project/lean-runtime/ Recent updates to the Python Package Index for lean-runtime en https://pypi.org/project/lean-runtime/4.22.0/ Run Lean 4 proofs from Python or standalone files Mon, 24 Aug 2026 02:56:20 GMT https://pypi.org/project/lean-runtime/4.21.0/ Run Lean 4 proofs from Python or standalone files Sun, 23 Aug 2026 17:40:46 GMT https://pypi.org/project/lean-runtime/4.2.0/ Run Lean 4 proofs from Python or standalone files Sun, 23 Aug 2026 15:28:02 GMT https://pypi.org/project/lean-runtime/4.1.1/ Run Lean 4 proofs from Python or standalone files Fri, 21 Aug 2026 05:12:56 GMT https://pypi.org/project/lean-runtime/4.1.0/ Run Lean 4 proofs from Python or standalone files Thu, 20 Aug 2026 01:07:21 GMT https://pypi.org/project/lean-runtime/4.0.1/ Run Lean 4 proofs from Python or standalone files Tue, 18 Aug 2026 22:45:12 GMT https://pypi.org/project/lean-runtime/4.0.0/ Run Lean 4 proofs from Python or standalone files Tue, 18 Aug 2026 21:46:36 GMT https://pypi.org/project/lean-runtime/3.0.3/ Run Lean 4 proofs from Python or standalone files Tue, 18 Aug 2026 19:01:31 GMT https://pypi.org/project/lean-runtime/3.0.2/ Run Lean 4 proofs from Python or standalone files Tue, 18 Aug 2026 05:52:35 GMT https://pypi.org/project/lean-runtime/3.0.1/ Run Lean 4 proofs from Python or standalone files Mon, 17 Aug 2026 22:45:41 GMT https://pypi.org/project/lean-runtime/3.0.0/ Run Lean 4 proofs from Python or standalone files Mon, 17 Aug 2026 02:21:46 GMT https://pypi.org/project/lean-runtime/2.10.0/ Run Lean 4 proofs from Python or standalone files Sun, 16 Aug 2026 21:43:27 GMT https://pypi.org/project/lean-runtime/2.9.2/ Run Lean 4 proofs from Python or standalone files Sun, 16 Aug 2026 13:32:22 GMT https://pypi.org/project/lean-runtime/2.9.1/ Run Lean 4 proofs from Python or standalone files Sat, 15 Aug 2026 22:01:51 GMT https://pypi.org/project/lean-runtime/2.9.0/ Run Lean 4 proofs from Python or standalone files Sat, 15 Aug 2026 21:20:14 GMT https://pypi.org/project/lean-runtime/2.8.0/ Run Lean 4 proofs from Python or standalone files Sat, 15 Aug 2026 03:32:04 GMT https://pypi.org/project/lean-runtime/2.7.0/ Run Lean 4 proofs from Python or standalone files Sat, 15 Aug 2026 00:16:12 GMT https://pypi.org/project/lean-runtime/2.6.2/ Run Lean 4 proofs from Python or standalone files Fri, 14 Aug 2026 20:48:54 GMT https://pypi.org/project/lean-runtime/2.6.1/ Run Lean 4 proofs from Python or standalone files Fri, 14 Aug 2026 18:51:11 GMT https://pypi.org/project/lean-runtime/2.6.0/ Run Lean 4 proofs from Python or standalone files Fri, 14 Aug 2026 16:58:26 GMT https://pypi.org/project/lean-runtime/2.5.0/ Run Lean 4 proofs from Python or standalone files Fri, 14 Aug 2026 14:19:22 GMT https://pypi.org/project/lean-runtime/2.4.0/ Run Lean 4 proofs from Python or standalone files Thu, 13 Aug 2026 19:33:53 GMT https://pypi.org/project/lean-runtime/2.3.0/ Run Lean 4 proofs from Python or standalone files Thu, 13 Aug 2026 16:39:06 GMT https://pypi.org/project/lean-runtime/2.2.0/ Run Lean 4 proofs from Python or standalone files Thu, 13 Aug 2026 00:36:04 GMT https://pypi.org/project/lean-runtime/2.1.2/ Run Lean 4 proofs from Python or standalone files Wed, 12 Aug 2026 19:46:26 GMT https://pypi.org/project/lean-runtime/2.1.1/ Run Lean 4 proofs from Python or standalone files Wed, 12 Aug 2026 18:41:42 GMT https://pypi.org/project/lean-runtime/2.1.0/ Run Lean 4 proofs from Python or standalone files Tue, 11 Aug 2026 19:14:39 GMT https://pypi.org/project/lean-runtime/2.0.9/ Run Lean 4 proofs from Python or standalone files Tue, 11 Aug 2026 08:10:33 GMT https://pypi.org/project/lean-runtime/2.0.8/ Run Lean 4 proofs from Python or standalone files Tue, 11 Aug 2026 02:38:00 GMT https://pypi.org/project/lean-runtime/2.0.7/ Run Lean 4 proofs from Python or standalone files Tue, 11 Aug 2026 00:05:32 GMT https://pypi.org/project/lean-runtime/2.0.6/ Run Lean 4 proofs from Python or standalone files Sat, 08 Aug 2026 19:16:51 GMT https://pypi.org/project/lean-runtime/2.0.5/ Run Lean 4 proofs from Python or standalone files Sat, 08 Aug 2026 18:52:27 GMT https://pypi.org/project/lean-runtime/2.0.3/ Run Lean 4 proofs from Python or standalone files Fri, 07 Aug 2026 01:14:41 GMT https://pypi.org/project/lean-runtime/2.0.2/ Run Lean 4 proofs from Python or standalone files Thu, 06 Aug 2026 00:38:45 GMT https://pypi.org/project/lean-runtime/2.0.1/ Run Lean 4 proofs from Python or standalone files Wed, 05 Aug 2026 11:23:07 GMT https://pypi.org/project/lean-runtime/2.0.0/ Run Lean 4 proofs from Python or standalone files Wed, 05 Aug 2026 08:22:59 GMT https://pypi.org/project/lean-runtime/1.0.0/ Run Lean 4 proofs from Python or standalone files Tue, 04 Aug 2026 17:22:53 GMT https://pypi.org/project/lean-runtime/0.6.0/ Content-addressed execution environments for Lean 4 Mon, 03 Aug 2026 21:09:56 GMT