Announcing Proofs.rs: A Public Registry for Rust Formal Verification Results

Hi, folks! We’re very happy to introduce proofs.rs, a place to publish and explore formal verification results for Rust crates. Why? There are some great tools for formally verifying Rust code, such a