/verified-consensus

Formalisation of Ethereum consensus in Isabelle/HOL

Primary LanguageIsabelle

Stargazers