logoalt Hacker News

Creusot helps you prove your Rust code is correct

28 points • by fanf2 • today at 2:42 PM • 1 comment • view on HN

Comments

giltho • today at 3:36 PM

Fantastic work