Factual package intelligence from PyPI

lean-dojo-v2 1.0.9 package intelligence

A comprehensive library for AI-assisted theorem proving in Lean

pip install lean-dojo-v2

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

lean-dojo-v2 dependencies

PyPI declares 30 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. requests >=2.28.0
  10. tqdm >=4.64.0
  11. openai >=0.27.0
  12. python-dotenv >=0.19.0
  13. rank-bm25 >=0.2.2
  14. torchmetrics >=0.9.0
  15. gitpython >=3.1.0
  16. pexpect >=4.8.0
  17. toml >=0.10.0
  18. PyGithub >=1.58.0
  19. lxml >=4.9.0
  20. filelock >=3.8.0
  21. psutil >=5.9.0
  22. datasets >=4.0.0
  23. trl >=0.25.1
  24. peft >=0.17.0

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

Compatibility and release files

lean-dojo-v2 publishes 1 wheel and 1 source archive for version 1.0.9. Wheel platform tags: any.

Declared Python classifiers: 3.11.

Release activity and sources

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