alt
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
Fantastic work