Consensys / WrappedEther.dfy

Dafny Model of the WrappedEther Smart Contract

This repository is not active

About

Dafny Model of the WrappedEther Smart Contract

Apache License 2.0

Languages

Language:Dafny 89.3%Language:Solidity 10.4%Language:Shell 0.2%