Tests
To know more about how we verify that our translation of the Rust code of the type-checker in Coq is equivalent to the original code by testing, you can read our blog post 🦀 Formal verification of the type checker of Sui – part 3.
To know more about how we verify that our translation of the Rust code of the type-checker in Coq is equivalent to the original code by testing, you can read our blog post 🦀 Formal verification of the type checker of Sui – part 3.