A formally verified compiler targeting the Ethereum EVM.
https://github.com/mmalvarez/eth-isabelle.git
9c0091f7
052ec385
965499dc
505c3fe6
c4a2c67a
86c4313a
7b80cf65