GitHub repository: makerdao/mkr-mcd-spec
Primary language: Python
Description: High level KSpecification for the MCD System by Runtime Verification and Maker Foundation