0xverif / mkr-mcd-spec Goto Github PK
View Code? Open in Web Editor NEWThis project forked from makerdao/mkr-mcd-spec
High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
License: GNU General Public License v3.0