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 ⌘ Read more