BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us

cargo-verified-anchor

v0.1.2crates.io· Rust

Cargo subcommand that discharges verified-anchor proof obligations via Lean.

The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicenseOther
DepsZero deps
Maintenance
Last published this month.
Popularity
2 downloads / week
Security
No known advisories for this version (OSV).
License
CC-BY-NC-ND-4.0
Dependencies
No runtime dependencies
Recent releases
  • 0.1.2this month
  • 0.1.1this month
cargo-verified-anchor — Cargo subcommand that discharges verified-anchor proof obligations via Lean. (Rust / crates.io) — verdict, alternatives & security · Modules