Team / organization
@zchn
An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
Augur back-end (Ethereum contracts)
joeykrug
1,677 commits
tinybike
941 commits
nuevoalex
843 commits
zchn
276 commits
epheph
118 commits
JohnDanz
86 commits
adrake33
62 commits
bthaile
60 commits
pgebheim
48 commits
SerpentChris
30 commits
beaugunderson
20 commits
janani-sridhar
15 commits
kevinday
petong
12 commits
stephensprinkle-zz
11 commits
cryptomental
10 commits
redsquirrel
scottzer0
8 commits
charltonh
7 commits
tomkysar
3 commits
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
