Hacker News new | ask | show | jobs
Multi-Collateral Dai – source for first formally verified dapp released (medium.com)
2 points by ahinchliff 2839 days ago