Factual package intelligence from PyPI

mathlibtools 1.3.2 package intelligence

Lean prover mathlib supporting tools.

pip install mathlibtools

Current version
1.3.2
Python requirement
>=3.6
License
Apache Software License
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
69.3 KiB
Release history
19 releases with files
Median release cadence
19 days

mathlibtools dependencies

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

  1. toml >=0.10.0
  2. PyGithub
  3. certifi
  4. gitpython >=2.1.11
  5. requests
  6. Click
  7. tqdm
  8. networkx
  9. pydot
  10. PyYAML >=3.13
  11. atomicwrites
  12. dataclasses when python_version == "3.6"

Compatibility and release files

mathlibtools publishes 1 wheel and 1 source archive for version 1.3.2. Wheel platform tags: any.

No version-specific Python classifiers are declared.

Release activity and sources

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