Kurt Barry
Results
2
repositories owned by
Kurt Barry
fund-eq-of-dai-certora
15
Stars
2
Forks
Watchers
Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.