pocket_prover
A fast, brute force, automatic theorem prover for first order logic
- Latest release
- Sep 20, 2024
- Releases
- 28
- Known CVEs
- 0
- First release
- Nov 05, 2017
- License
- MIT
Repository
Source
- Stars
- —
- Forks
- —
- Open issues
- —
Security score
No OpenSSF Scorecard available for this repository.
Packages from this repo
Insights
Activity
- Total releases
- 28
- Last 12 months
- 0
- Cadence
- ~6 days
- Dependencies
- 2
Releases per month
last 12 monthsRelease mix
- minor 17
- patch 10
28
releases
Dependencies
Depends on
0.18.0Used by
2Releases
| Version | Released | |
|---|---|---|
0.18.0
minor
| ||
0.17.0
minor
| ||
0.16.0
minor
| ||
0.15.0
minor
| ||
0.14.1
patch
| ||
0.14.0
minor
| ||
0.13.2
patch
| ||
0.13.1
patch
| ||
0.13.0
minor
| ||
0.12.0
minor
yanked
| ||
0.11.1
patch
| ||
0.11.0
minor
| ||
0.10.0
minor
| ||
0.9.1
patch
| ||
0.9.0
minor
| ||
0.8.0
minor
| ||
0.7.1
patch
| ||
0.7.0
minor
| ||
0.6.0
minor
| ||
0.5.1
patch
|
1–20 of 28