Yup, and Rust does also have an official Rust Formal Methods Interest Group https://rust-formal-methods.github.io/ https://rust-formal-methods.github.io/ It's l

Yup, and Rust does also have an official Rust Formal Methods Interest Group https://rust-formal-methods.github.io/ https://rust-formal-methods.github.io/ It's likely that there will be significant future developments in this space.