GitHub repository: Consensys/distributed-validator-formal-specs-and-verification
Primary language: Dafny
Description: ConsenSys Internal Fork of the public repo https://github.com/ethereum/distributed-validator-specs