pocket_prover
v0.18.0crates.io· RustA fast, brute force, automatic theorem prover for first order logic
The verdict
Abandoned. Last published over a year ago. No recent activity — look for a maintained alternative.
No recent activity — look for a maintained alternative.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceAbandoned
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published over a year ago.
Popularity
12 downloads / week
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
No runtime dependencies
Recent releases
- 0.18.0over a year ago
- 0.17.03 years ago
- 0.16.03 years ago
- 0.15.04 years ago
- 0.14.14 years ago
- 0.14.04 years ago
- 0.13.24 years ago
- 0.13.14 years ago