http://localhost:3000/blog/2024/02/27/improvements-rust-translation

[giscus[bot]]

http://localhost:3000/blog/2024/02/27/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 as ERC-20 smart contract, coq-of-rust still has some limitations:

http://localhost:3000/blog/2024/02/27/improvements-rust-translation

[clarus]

First test of comment!!!