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/ https://iris-proje

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/ https://iris-project.org/ [2] https://gitlab.mpi-sws.org/iris/iris/ https://gitlab.mpi-sws.org/iris/iris/ [3] https://gitlab.mpi-sws.org/iris/lambda-rust https://gitlab.mpi-sws.org/iris/lambda-rust