search

makerdao / mkr-mcd-spec

High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
GNU General Public License v3.0
28 stars 9 forks source link

High-level english + Math model of the MKR system #229

Open ehildenb opened 3 years ago

WilfredTA commented 3 years ago

Repo of this located here: https://github.com/makerdao/dai-protocol-formalization