kmbarry1 / fund-eq-of-dai-certora

Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
15Updated 3 months ago

Related projects: