Pinned Loading

1. Certora/CertoraProver Certora/CertoraProver Public

   The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

   Kotlin 330 46

2. Certora/gambit Certora/gambit Public

   Using mutations to improve specs and test suites

   Rust 210 13

3. kmbarry1/fund-eq-of-dai-certora kmbarry1/fund-eq-of-dai-certora Public

   Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.

   Solidity 16 2

4. Certora/Documentation Certora/Documentation Public

   Python 20 25

5. Certora/Examples Certora/Examples Public

   An index repository with submodules for different examples of Certora projects

   Solidity 210 52

6. Certora/tutorials-code Certora/tutorials-code Public

   Certora tutorials

   Solidity 29 27