Factual package intelligence from PyPI

lean-interact 0.11.5 package intelligence

LeanInteract is a Python package that allows you to interact with the Lean theorem prover.

pip install lean-interact

Current version
0.11.5
Python requirement
>=3.10
License
Not declared
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
128.9 KiB
Release history
37 releases with files
Median release cadence
8 days

lean-interact dependencies

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

  1. filelock >=3.18.0
  2. gitpython >=3.1.44
  3. packaging >=24.2
  4. psutil >=6.1.0
  5. pydantic >=2.11.1
  6. requests >=2.32.3
  7. rich >=13.9.4
  8. tqdm >=4.67.1

Compatibility and release files

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

No version-specific Python classifiers are declared.

Security snapshot for lean-interact 0.11.5

An OSV query completed on and found 0 known vulnerabilities affecting this version. 0 advisories are classified as critical. 0 advisories appear in the CISA Known Exploited Vulnerabilities catalog.

Metadata completeness

PyPI does not currently declare: license, project URL. PyDeps marks these fields as unknown instead of guessing values.

Release activity and sources

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

The project does not publish external project URLs in its PyPI metadata.