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