Creusot helps you prove your Rust code is correct

 (github.com)

26 points | by fanf2 1 hour ago

1 comments

  • giltho 23 minutes ago
    Fantastic work