Rust doesn't have a specification or standard yet, which would make it difficult to formally verify.
https://stackoverflow.com/questions/75743030/is-there-a-spec...
https://stackoverflow.com/questions/75743030/is-there-a-spec...
It also strikes me as extraordinarily unlikely that any formal verification effort will use the existing specification, and not build their own (using their own formal language) as they go.