GitHub repository: sigp/verified-consensus
Primary language: Isabelle
Description: Formalisation of Ethereum consensus in Isabelle/HOL