Ethereum VM to Coq