Rust Formal Methods Interest Group This is the coordination repository of the RFMIG The homepage is here.