GitHub repository: Certora/SolanaExamples
Primary language: Rust
Created: 2024-01-29T10:29:32Z
Description: Examples of Solana applications verification with the Certora Prover