A formally verified compiler targeting the Ethereum EVM.
https://github.com/mmalvarez/eth-isabelle.git
latest