search

makerdao / k-dss

formal verification of multicollateral dai in the K framework
GNU Affero General Public License v3.0
14 stars 11 forks source link

Use KEVM provex #30

Closed ehildenb closed 3 years ago

ehildenb commented 3 years ago

BLOCKED on https://github.com/makerdao/klab/pull/21