copra-theorem-prover
Python library for running proof search using CoPra
- Latest release
- 6m ago
- Releases
- 25
- Known CVEs
- 0
- First release
- Apr 21, 2025
- License
- MIT
Repository
Source
- Stars
- —
- Forks
- —
- Open issues
- —
Security score
No OpenSSF Scorecard available for this repository.
Packages from this repo
No other tracked packages from this repository.
Insights
Activity
- Total releases
- 25
- Last 12 months
- 15
- Cadence
- ~5 days
- Dependencies
- 12
Releases per month
last 12 monthsRelease mix
- minor 8
- patch 16
25
releases
Dependencies
Depends on
1.9.0-
boto3
==1.38.14
-
gradio
<5.50,>=4.0.0
-
huggingface-hub
<0.32,>=0.30
-
itp-interface
>=1.9.0
-
numpy
>=2.1.0
-
openai
>=1.99.1
-
pydantic
>=2.12.0
-
requests
>=2.32.0
-
sentencepiece
>=0.2.0
-
tiktoken
>=0.12.0
1–10 of 12
Used by
Nothing tracked depends on this yet.
Releases
| Version | Released | |
|---|---|---|
1.9.0
minor
| ||
1.7.0
minor
| ||
1.6.0
minor
| ||
1.5.0
minor
| ||
1.4.0
minor
| ||
1.3.0
minor
| ||
1.2.0
minor
| ||
1.1.17
patch
| ||
1.1.16
patch
| ||
1.1.15
patch
| ||
1.1.14
patch
| ||
1.1.13
patch
| ||
1.1.12
patch
| ||
1.1.11
patch
| ||
1.1.10
patch
| ||
1.1.9
patch
| ||
1.1.8
patch
| ||
1.1.7
patch
| ||
1.1.6
patch
| ||
1.1.5
patch
|
1–20 of 25