GitHub repository: makerdao/k-dss
Primary language: GCC Machine Description
Description: formal verification of multicollateral dai in the K framework