Open source repositories tagged with #deductive-reasoning, ranked by health score.
Creusot helps you prove your Rust code is correct.
