Awesome

Rust Formal Methods Interest Group

This is the coordination repository of the RFMIG

The homepage is here.