https://formal.land/blog/2024/02/29/improvements-rust-translation #13
giscus[bot]
bot
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
https://formal.land/blog/2024/02/29/improvements-rust-translation
Our tool coq-of-rust is translating Rust 🦀 programs to the proof system Coq 🐓 to do formal verification on Rust programs. Even if we are able to verify realistic code, such as an ERC-20 smart contract, coq-of-rust still has some limitations:
https://formal.land/blog/2024/02/29/improvements-rust-translation
Beta Was this translation helpful? Give feedback.
All reactions