Creusot helps you prove your Rust code is correct

(github.com)

28 points | by fanf2 2 hours ago ago

1 comments