Factual package intelligence from PyPI

copra-theorem-prover 1.11.0 package intelligence

Python library for running proof search using CoPra

pip install copra-theorem-prover

Current version
1.11.0
Python requirement
>=3.9
License
MIT License
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
5.2 MiB
Release history
27 releases with files
Median release cadence
5 days

copra-theorem-prover dependencies

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

  1. boto3 ==1.38.14
  2. huggingface-hub >=0.30 when python_version >= "3.14"
  3. huggingface-hub >=0.34 when python_version < "3.13"
  4. itp-interface >=1.11.0
  5. numpy >=2.1.0
  6. openai >=1.99.1
  7. pydantic >=2.12.0
  8. requests >=2.32.0
  9. sentencepiece >=0.2.0
  10. tiktoken >=0.12.0
  11. transformers >=4.48 when python_version >= "3.14"
  12. transformers >=4.56 when python_version < "3.13"

Compatibility and release files

copra-theorem-prover publishes 1 wheel and 1 source archive for version 1.11.0. Wheel platform tags: any.

No version-specific Python classifiers are declared.

Security snapshot for copra-theorem-prover 1.11.0

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.

Release activity and sources

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