upvote
Creusot helps you prove your Rust code is correct

(github.com)

30 points

by fanf21 hours ago |
1 comments
upvoteby giltho42 minutes ago|
[-]
Fantastic work
reply