logoalt Hacker News

Creusot helps you prove your Rust code is correct

15 points • by fanf2 • today at 2:42 PM • 0 comments • view on HN

Comments