Factual package intelligence from PyPI

lean-library 1.0.2 package intelligence

A comprehensive library for AI-assisted theorem proving in Lean

pip install lean-library

Current version
1.0.2
Python requirement
>=3.11
License
MIT
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
277.1 KiB
Release history
3 releases with files
Median release cadence
0 days

lean-library dependencies

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

  1. torch >=1.12.0
  2. pytorch-lightning >=1.9.0
  3. transformers >=4.20.0
  4. numpy >=1.21.0
  5. deepspeed >=0.7.0
  6. loguru >=0.6.0
  7. networkx >=2.8.0
  8. ray >=2.0.0
  9. vllm >=0.2.0
  10. requests >=2.28.0
  11. tqdm >=4.64.0
  12. openai >=0.27.0
  13. python-dotenv >=0.19.0
  14. rank-bm25 >=0.2.2
  15. torchmetrics >=0.9.0
  16. gitpython >=3.1.0
  17. pexpect >=4.8.0
  18. toml >=0.10.0
  19. PyGithub >=1.58.0
  20. lxml >=4.9.0
  21. filelock >=3.8.0
  22. psutil >=5.9.0
  23. datasets >=4.0.0
  24. trl >=0.20.0
  25. peft >=0.17.0

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

Compatibility and release files

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

Declared Python classifiers: 3.10, 3.11, 3.9.

Release activity and sources

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