Our great sponsors
-
creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Found another one: https://github.com/xldenis/creusot
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.