Factual package intelligence from PyPI

proof-wala 1.1.9 package intelligence

Python library for training LLMs with Interactive Theorem Proving data.

pip install proof-wala

Current version
1.1.9
Python requirement
<3.13,>=3.9
License
MIT License
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
643.2 KiB
Release history
7 releases with files
Median release cadence
1 days

proof-wala dependencies

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

  1. accelerate ==1.3.0
  2. bitsandbytes ==0.41.1
  3. comet-ml ==3.33.9
  4. filelock ==3.12.4
  5. gradio >=5.11.0
  6. graphviz ==0.17
  7. itp-interface ==1.1.9
  8. parglare ==0.16.1
  9. peft ==0.7.1
  10. protobuf >=3.20.3
  11. pydantic >=2.10.6
  12. scipy ==1.11.2
  13. sentencepiece ==0.1.99
  14. spaces ==0.16.1
  15. transformers ==4.48.0
  16. trl ==0.14.0

Compatibility and release files

proof-wala publishes 1 wheel and 1 source archive for version 1.1.9. Wheel platform tags: any.

No version-specific Python classifiers are declared.

Release activity and sources

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