Formalisation of Ethereum consensus in Isabelle/HOL - View it on GitHub