Rust Formal Methods Interest GroupFebruary 10, 2022 ยท View on GitHubThis is the coordination repository of the RFMIG The homepage is here.