Light
Rust
Coal
Navy
Ayu
Formal verification of the Sui's Move type-checker for the bytecode
Thanks
We thanks the
Sui Foundation
for the opportunity to work on this project 🙏.