• Translation of Rust's core and alloc crates to Coq for formal verification https://formal.land/blog/2024/04/26/translation-core-alloc-crates 116 comments 15/5/2024

• Translation of the Rust's core and alloc crates to Coq https://formal.land/blog/2024/04/26/translation-core-alloc-crates 21 comments 15/5/2024 rust
• Make Tezos the first formally verified cryptocurrency https://formal.land/blog/2022/02/02/make-tezos-a-formally-verified-crypto 9 comments 2/2/2022 cryptocurrency