creusot-rs/creusot: Creusot helps you prove your Rust code is correct. (opens in new tab)

Discussed on Hacker News and Lobsters

Creusot helps you prove your Rust code is correct. - creusot-rs/creusot

Read the original article

Sign in to keep reading the full article.