A curated list of resources for Formal Verification with Certora Prover (EVM/Stellar/Solana).
Latest commits.
Builders behind this project.
