This is your work, valued

Creusot Rust Verifier

Advanced
@creusot-rs

A flexible, performant verifier for Rust programs