GitHub repository: makerdao/k-mkr-authority
Primary language: Nix
Created: 2019-08-10T17:20:14Z
Description: Formal Verification of MkrAuthority contract