Coq translation
To get more information about our manual Coq translation of the Rust code of the type-checker and the interpreter of Move, you can read our following blog post: 🦀 Formal verification of the type checker of Sui – part 2.
To get more information about our manual Coq translation of the Rust code of the type-checker and the interpreter of Move, you can read our following blog post: 🦀 Formal verification of the type checker of Sui – part 2.