GitHub repository: ConsenSys/deposit-sc-dafny
Primary language: Dafny
Description: Deposit smart contract in Dafny