Hacker News   << back
code
Creusot helps you prove your Rust code is correct (github.com)
28 points by fanf2 an hour ago | 1 comments

• giltho 32 minutes ago

Fantastic work