Factual package intelligence from PyPI

lean-xplore 0.4.3 package intelligence

A search engine for Lean 4 declarations.

pip install lean-xplore

Current version
0.4.3
Python requirement
>=3.10
License
Apache Software License
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
529.0 KiB
Release history
4 releases with files
Median release cadence
0 days

lean-xplore dependencies

PyPI declares 28 unique dependency rules for this release. Environment markers are shown when supplied by the project.

  1. sqlalchemy >=2.0
  2. numpy >=1.20
  3. faiss-cpu >=1.7
  4. sentence-transformers >=2.2.0
  5. filelock >=3.0.0
  6. nltk >=3.6
  7. rank-bm25 >=0.2.2
  8. httpx >=0.23.0
  9. pydantic >=2.0
  10. typer >=0.9.0
  11. toml >=0.10.0
  12. openai-agents >=0.0.16
  13. mcp <1.12.3,>=1.9.0
  14. fastapi >=0.100.0
  15. uvicorn >=0.23.0
  16. tqdm >=4.60
  17. requests >=2.25.0
  18. pyyaml >=6.0

The compact report shows 18 of 28 declarations. The interactive dependency graph loads the complete metadata.

Compatibility and release files

lean-xplore publishes 1 wheel and 1 source archive for version 0.4.3. Wheel platform tags: any.

Declared Python classifiers: 3.10, 3.11, 3.12.

Release activity and sources

PyPI lists 4 releases with files. The first dated release is ; 4 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .