Verified-zkEVMClean

Lean circuit DSL
Displaying 1-1 of 1 versions of Clean
Sort by
  1. Not a part of any version track.
    bf2f1ab
    7 days ago
    Released on September 29, 2025 at 10:02:38AM
    Commit bf2f1ab builds on its recent leanprover/lean4:v4.23.0-rc2
    v4.23.0-rc2
    52.4 MB Build archive size: 52383340 bytes.