GitHub repository: zchn/eth-acl2
Primary language: Common Lisp
Created: 2018-04-06T00:54:47Z
Description: An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.