Verified-zkEVMClean

Lean circuit DSL
Displaying 1-1 of 1 versions of Clean
Sort by
  1. Not a part of any version track.
    cdf5a4c
    7 days ago
    Released on January 11, 2026 at 4:00:34PM
    Commit cdf5a4c builds on its recent leanprover/lean4:v4.25.2
    v4.25.2
    59.1 MB Build archive size: 59118503 bytes.