vampire-prover
v0.5.1crates.io· RustSafe Rust bindings to the Vampire theorem prover for first-order logic
The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published 3 months ago.
Popularity
5 downloads / week
Security
No known advisories for this version (OSV).
License
Apache-2.0 OR MIT
Dependencies
No runtime dependencies
Recent releases
- 0.5.13 months ago
- 0.5.03 months ago
- 0.4.04 months ago
- 0.3.34 months ago
- 0.3.24 months ago
- 0.3.14 months ago
- 0.3.04 months ago
- 0.2.04 months ago