Creusot helps you prove your Rust code is correct

 (github.com)

30 points | by fanf2 1 hour ago

1 comments

  • giltho 40 minutes ago
    Fantastic work