Factual package intelligence from PyPI

lean-explore 1.2.1 package intelligence

A search engine for Lean 4 declarations.

pip install lean-explore

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

lean-explore dependencies

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

  1. sqlalchemy >=2.0
  2. aiosqlite >=0.19.0
  3. greenlet >=3.0.0
  4. numpy >=1.20
  5. faiss-cpu >=1.7
  6. filelock >=3.0.0
  7. nltk >=3.6
  8. bm25s >=0.2.0
  9. httpx >=0.23.0
  10. pydantic >=2.0
  11. typer >=0.9.0
  12. toml >=0.10.0
  13. openai-agents >=0.0.16
  14. mcp >=1.9.0
  15. tqdm >=4.60
  16. rich >=13.0.0
  17. requests >=2.25.0
  18. tenacity >=8.0.0
  19. pooch >=1.8.0

The compact report shows 25 of 32 declarations. The interactive dependency graph loads the complete metadata.

Compatibility and release files

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

Declared Python classifiers: 3.10, 3.11, 3.12.

Release activity and sources

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