https://github.com/makerdao/k-mkr-authority

Formal Verification of MkrAuthority contract
https://github.com/makerdao/k-mkr-authority

Last synced: 3 months ago
JSON representation

Formal Verification of MkrAuthority contract

• Host: GitHub
• URL: https://github.com/makerdao/k-mkr-authority
• Owner: makerdao
• License: agpl-3.0
• Created: 2019-08-10T17:20:13.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2020-05-29T05:03:57.000Z (over 4 years ago)
• Last Synced: 2023-04-04T02:07:02.562Z (almost 2 years ago)
• Language: Nix
• Size: 29.3 KB
• Stars: 2
• Watchers: 10
• Forks: 7
• Open Issues: 0

Awesome Lists containing this project