Creusot helps you prove your Rust code is correct

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