I just write in safe Rust, if it compiles then it is formally verified for me. I recently used Rust in my recent project, Deepwalker [0]. I have written only o

I just write in safe Rust, if it compiles then it is formally verified for me. I recently used Rust in my recent project, Deepwalker [0]. I have written only once and never looked back. [0]: https://deepwalker.xyz https://deepwalker.xyz