[xvilka]

See the work of Iris[1] project. It's open-source[2] and based on Coq, see Rust-related work[3] in particular.

[1] https://iris-project.org/

[2] https://gitlab.mpi-sws.org/iris/iris/

[3] https://gitlab.mpi-sws.org/iris/lambda-rust