Creator
cargo-vouch wraps the Kani model checker to produce panic-freedom proofs for Rust functions at compile time. It reports four distinct verdicts rather than a binary pass/fail, so an inconclusive result is never silently treated as a pass.
← back to all claims