Verified-zkEVMClean

Lean circuit DSL
Displaying 1-1 of 1 versions of Clean
Sort by
  1. Not a part of any version track.
    883ac93
    14 days ago
    Released on October 24, 2025 at 11:40:07AM
    Commit 883ac93 builds on its recent leanprover/lean4:v4.24.0
    v4.24.0
    54.3 MB Build archive size: 54349280 bytes.