Creusot helps you prove your Rust code is correct
23 points
1 hour ago
| 1 comment
| github.com
| HN
▲
giltho
14 minutes ago
[-]
Fantastic work
reply