Pinned Loading

1. PhoenixVault PhoenixVault Public

   Solidity

2. fund-eq-of-dai-certora fund-eq-of-dai-certora Public

   Forked from kmbarry1/fund-eq-of-dai-certora

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

   Solidity

3. Certora/gambit Certora/gambit Public

   Using mutations to improve specs and test suites

   Rust 191 11

4. Certora/Examples Certora/Examples Public

   An index repository with submodules for different examples of Certora projects

   Solidity 159 43

5. Certora/tutorials-code Certora/tutorials-code Public

   Certora tutorials

   Solidity 26 26

6. Certora/Documentation Certora/Documentation Public

   Python 17 17