JTaNvUoHt
@eicbrddiam
🚀 Formal Verification is here for Move on Sui! 🚀 Supported by grants from the @SuiFoundation, the Sui Prover helps you secure your Move smart contracts with simple, test-like specs. No special syntax needed ? https://t.co/3P9UXO8LJc
0 reply
0 recast
0 reaction