GitHub repository: Kuly14/DJED
Primary language: TypeScript
Created: 2022-05-18T14:03:30Z
Description: Solidity implementation of DJED - A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin