Login
From:
Formal Land Blog
(Uncensored)
subscribe
🦀 Verification of one instruction of the Move's type-checker
https://formal.land/blog/2025/01/13/verification-one-instruction-sui
links
backlinks
Tagged with:
rust
move
sui
type-checker
This is the last article of a series of blog post presenting our formal verification effort in  Rocq/Coq to ensure the correctness of the type-checker of the Move language for Sui.
Roast topics
Find topics
Find it!
