Factual package intelligence from PyPI

proofs 0.0.3 package intelligence

Mathematical proof assistant for students and amateurs.

pip install proofs

Current version
0.0.3
Python requirement
>=3.7
License
Apache Software License 2.0
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
31.1 KiB
Release history
3 releases with files
Median release cadence
2 days

proofs dependencies

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

  1. anyio ==3.7.0
  2. appnope ==0.1.3
  3. argon2-cffi ==21.3.0
  4. argon2-cffi-bindings ==21.2.0
  5. arrow ==1.2.3
  6. asttokens ==2.2.1
  7. astunparse ==1.6.3
  8. async-lru ==2.0.2
  9. attrs ==23.1.0
  10. Babel ==2.12.1
  11. backcall ==0.2.0
  12. beautifulsoup4 ==4.12.2
  13. bleach ==6.0.0
  14. certifi ==2023.5.7
  15. cffi ==1.15.1
  16. charset-normalizer ==3.1.0
  17. comm ==0.1.3
  18. debugpy ==1.6.7
  19. decorator ==5.1.1
  20. defusedxml ==0.7.1
  21. exceptiongroup ==1.1.1
  22. execnb ==0.1.5
  23. executing ==1.2.0
  24. fastcore ==1.5.29
  25. fastjsonschema ==2.17.1

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

Compatibility and release files

proofs publishes 1 wheel and 1 source archive for version 0.0.3. Wheel platform tags: any.

Declared Python classifiers: 3.10, 3.7, 3.8, 3.9.

Release activity and sources

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