GitHub repository: ConsenSys/eth2.0-dafny
Primary language: Dafny
Description: Eth2.0 spec in Dafny