Multi-Collateral Dai – source for first formally verified dapp released #1 Post by ahinchliff » Mon, Sep 17, 2018, 11:25 PM UTC Multi-Collateral Dai – source for first formally verified dapp releasedmedium.com