Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
An Ethereum contract analyzer.
Automatically exported from code.google.com/p/phoneyc
An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
in the last year
Press h to open a hovercard with more details.