Sui Prover: Verifying Move Contracts for Sui

Certora Sui Prover enables formal verification of Move based smart contracts for the Sui Blockchain.