search

makerdao / k-dss

formal verification of multicollateral dai in the K framework
GNU Affero General Public License v3.0
14 stars 11 forks source link

fix cage-ilk proofs #7

Closed kmbarry1 closed 5 years ago

kmbarry1 commented 5 years ago

copy-paste error in cage-ilk act corrected (confirmed that proofs pass)