> further tooling. Just a heads up, Rust does have further tooling. I wish they were more widely used Here are three of them https://github.com/creusot-rs/cr

> further tooling. Just a heads up, Rust does have further tooling. I wish they were more widely used Here are three of them https://github.com/creusot-rs/creusot https://github.com/creusot-rs/creusot https://viperproject.github.io/prusti-dev/user-guide/ https://viperproject.github.io/prusti-dev/user-guide/ https://model-checking.github.io/kani/ https://model-checking.github.io/kani/