Factual package intelligence from PyPI

lean-dojo 4.20.0 package intelligence

LeanDojo: Machine Learning for Theorem Proving in Lean

pip install lean-dojo

Current version
4.20.0
Python requirement
<3.13,>=3.9
License
MIT License
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
64.2 MiB
Release history
37 releases with files
Median release cadence
9 days

lean-dojo dependencies

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

  1. filelock
  2. gitpython
  3. loguru
  4. lxml
  5. networkx
  6. pexpect
  7. psutil
  8. pygithub
  9. python-dotenv
  10. ray >=2.8
  11. toml
  12. tqdm
  13. types-psutil
  14. types-toml

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

Compatibility and release files

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

No version-specific Python classifiers are declared.

Release activity and sources

PyPI lists 37 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 .