Rust-Stainless

Rust frontend for Stainless

Rust-Stainless is a frontend that extracts a Stainless-compatible intermediate representation from Rust source code via the Rust compiler internals. It enables deductive verification of safe Rust programs by translating annotated functions into Stainless verification conditions and dispatching them to the underlying SMT-based solver.