proofs.rs
Formal verification results for Rust crates, organized by crate, version and API. Each report states what was proved, under which assumptions, and with what evidence.
Start with an example
A one-claim report that is quick to read end to end: the Overview says what holds, the Claim names the API, and Evidence shows how to rerun it.
Recent reports
Publication is not certification. Reports record the authors' own runs; proofs.rs does not re-run them. How to judge a report →