Sunbeam: Verification for Soroban

Certora Sunbeam enables formal verification of Soroban smart contracts. See the Certora Sunbeam Tutorials to learn how to use it!