Loreon
Labs
Platform
Search…
⌘K
Docs
Home
Ecosystems
Lean
yulopt
Verified Yul compiler and optimizer
Lean
Emerging
GitHub
Stars
1
Forks
—
Contributors
1
Last push
1mo ago
Recent commits
Latest commits.
refactor
be0cde9
chriseth
1mo ago
correctness of if.
67b3dce
chriseth
1mo ago
fix if
b829351
chriseth
1mo ago
if statements.
f4b06cf
chriseth
1mo ago
Move optimizer correctness theorem.
7fcda38
chriseth
1mo ago
Verified toy yul compiler and optimizer.
3862d18
chriseth
1mo ago
Top contributors
Builders behind this project.
chriseth
6 commits
