Creusot helps you prove your Rust code is correct

(github.com)

23 points by fanf21 hour ago

1 comments

  • giltho14 minutes ago
    Fantastic work