Creusot Rust Verifier

A flexible, performant verifier for Rust programs

Pinned Repositories

creusot
Creusot helps you prove your code is correct in an automated fashion.
Language:Rust1.1k 21 33847

Creusot Rust Verifier's Repositories

creusot-rs/creusot
Creusot helps you prove your code is correct in an automated fashion.
Language:Rust1.1k 21 33847