Examples of Solana applications verification with the Certora Prover - View it on GitHub