PyPI recent updates for lean-explore https://pypi.org/project/lean-explore/ Recent updates to the Python Package Index for lean-explore en 1.2.1 https://pypi.org/project/lean-explore/1.2.1/ A search engine for Lean 4 declarations. justinchadwickasher@gmail.com Wed, 04 Feb 2026 20:29:32 GMT 1.2.0 https://pypi.org/project/lean-explore/1.2.0/ A search engine for Lean 4 declarations. justinchadwickasher@gmail.com Sat, 31 Jan 2026 21:15:40 GMT 1.1.1 https://pypi.org/project/lean-explore/1.1.1/ A search engine for Lean 4 declarations. justinchadwickasher@gmail.com Thu, 29 Jan 2026 20:10:31 GMT 1.1.0 https://pypi.org/project/lean-explore/1.1.0/ A search engine for Lean 4 declarations. justinchadwickasher@gmail.com Thu, 29 Jan 2026 19:53:01 GMT 1.0.2 https://pypi.org/project/lean-explore/1.0.2/ A search engine for Lean 4 declarations. justinchadwickasher@gmail.com Thu, 29 Jan 2026 18:16:42 GMT 1.0.1 https://pypi.org/project/lean-explore/1.0.1/ A search engine for Lean 4 declarations. justinchadwickasher@gmail.com Thu, 29 Jan 2026 14:41:54 GMT 1.0.0 https://pypi.org/project/lean-explore/1.0.0/ A search engine for Lean 4 declarations. justinchadwickasher@gmail.com Wed, 28 Jan 2026 22:08:02 GMT 0.3.0 https://pypi.org/project/lean-explore/0.3.0/ A search engine for Lean 4 declarations. justinchadwickasher@gmail.com Mon, 09 Jun 2025 17:47:34 GMT 0.2.2 https://pypi.org/project/lean-explore/0.2.2/ A project to explore and rank Lean mathematical declarations. justinchadwickasher@gmail.com Sat, 07 Jun 2025 04:08:02 GMT 0.2.1 https://pypi.org/project/lean-explore/0.2.1/ A project to explore and rank Lean mathematical declarations. justinchadwickasher@gmail.com Wed, 04 Jun 2025 19:13:18 GMT 0.2.0 https://pypi.org/project/lean-explore/0.2.0/ A project to explore and rank Lean mathematical declarations. justinchadwickasher@gmail.com Wed, 04 Jun 2025 18:41:10 GMT 0.1.4 https://pypi.org/project/lean-explore/0.1.4/ A project to explore and rank Lean mathematical declarations. justinchadwickasher@gmail.com Fri, 30 May 2025 18:34:18 GMT 0.1.3 https://pypi.org/project/lean-explore/0.1.3/ A project to explore and rank Lean mathematical declarations. justinchadwickasher@gmail.com Tue, 27 May 2025 02:53:56 GMT 0.1.2 https://pypi.org/project/lean-explore/0.1.2/ A project to explore and rank Lean mathematical declarations. justinchadwickasher@gmail.com Tue, 27 May 2025 02:43:32 GMT 0.1.1 https://pypi.org/project/lean-explore/0.1.1/ A project to explore and rank Lean mathematical declarations. justinchadwickasher@gmail.com Sun, 25 May 2025 02:24:15 GMT