PyPI recent updates for lean-xplore https://pypi.org/project/lean-xplore/ Recent updates to the Python Package Index for lean-xplore en 0.4.3 https://pypi.org/project/lean-xplore/0.4.3/ A search engine for Lean 4 declarations. justinchadwickasher@gmail.com Sat, 29 Nov 2025 16:22:03 GMT 0.4.2 https://pypi.org/project/lean-xplore/0.4.2/ A search engine for Lean 4 declarations. justinchadwickasher@gmail.com Sat, 29 Nov 2025 11:19:07 GMT 0.4.1 https://pypi.org/project/lean-xplore/0.4.1/ A search engine for Lean 4 declarations. justinchadwickasher@gmail.com Fri, 28 Nov 2025 16:53:51 GMT 0.4.0 https://pypi.org/project/lean-xplore/0.4.0/ A search engine for Lean 4 declarations. justinchadwickasher@gmail.com Fri, 28 Nov 2025 16:14:27 GMT