makerdao / k-dss
formal verification of multicollateral dai in the K framework
☆14Updated 3 years ago
Alternatives and similar repositories for k-dss:
Users that are interested in k-dss are comparing it to the libraries listed below
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- ☆22Updated 2 years ago