GitHub repository: kmbarry1/fund-eq-of-dai-certora
Primary language: Solidity
Created: 2022-05-27T03:40:49Z
Description: Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.