Factual package intelligence from PyPI

leaven 1.1.0b33 package intelligence

A package bridging Python and Lean verification for proof search using language models

pip install leaven

Current version
1.1.0b33
Python requirement
>=3.9
License
MIT
Distribution type
No wheel classification available
Release files
1 (0 wheels, 1 source)
Download size
51.3 KiB
Release history
38 releases with files
Median release cadence
0 days

leaven dependencies

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

  1. networkx
  2. pathlib
  3. datetime
  4. pytz
  5. tqdm

Compatibility and release files

leaven publishes 0 wheels and 1 source archive for version 1.1.0b33. Wheel platform tags: No wheel platform tags.

Declared Python classifiers: 3.9.

Release activity and sources

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