🦀 Translation of the Rust's core and alloc crates | Formal LandThis work is funded by the Aleph Zero crypto-currency to verify their Rust smart contracts. You can follow us on X to get our updates. We propose tools and services to make your codebase bug-free with formal verification. Contact us at contact@formal.land to chat ☎️! A crab in a library Initial run 🐥 An initial run of coq-of-rust on the alloc and core crates of Rust generated us two files of a f
