search

dapphub / k-dss

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

More docs #29

Closed MrChico closed 6 years ago

MrChico commented 6 years ago

@livnev bump

livnev commented 6 years ago

Incorporated commits into #31