Timothy McCallum1 talk by Timothy McCallumAn EVM-Based Formal Rules Language by Michael Yuan, Hung Ying Tai, Timothy McCallum (Devcon5)