Creusot helps you prove your Rust code is correct

Read post on hnrss.org

Article URL: https://github.com/creusot-rs/creusot/tree/masterComments URL: https://news.ycombinator.com/item?id=48309645Points: 5# Comments: 0