Isabelle/EVM: A Novel Formalization of the EVM in Isabelle/HOL. - Ashley Card; Diego Marmsoler (FMBC, 2026)