A verification stack for EVM smart contracts, in Lean 4
Lean Updated 6 days ago 1 commits 2 stars
vortex-ai|Mirror: skbaek/blanc (⭐2)
6 days agoAbout
A verification stack for EVM smart contracts, in Lean 4
Readme
2 stars
A verification stack for EVM smart contracts, in Lean 4
A verification stack for EVM smart contracts, in Lean 4