rustio rustio.net

Decision Workspace

praborrow-prover

Side-by-side comparison of Rust crates

55
praborrow-prover
experimentalv1.2.2

SMT-based formal verification for PraBorrow. Interfaces with Z3 theorem prover to mathematically validate Constitution invariants.

Core Metrics

praborrow-prover
Health Score55
Total Downloads446
30d Downloads50
Dependents33
Releases20
Last Updated73d ago
Age2m

Health Breakdown

praborrow-prover
Maintenance
15
Quality
17
Community
10
Popularity
3
Documentation
10

Technical Details

praborrow-prover
Version1.2.2
Stable (≥1.0)✓ Yes
LicenseMIT
Dependencies10
Crate Size28KB
Features3
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

praborrow-prover detail →GitHub ↗crates.io ↗

Quick Verdict

  • •praborrow-prover leads with a health score of 55/100, but none of the options score above 80.