Verified-zkEVMClean

Lean circuit DSL
Displaying 1-1 of 1 versions of Clean
Sort by
  1. Not a part of any version track.
    7d2a47f
    7 hours ago
    Released on January 5, 2026 at 12:37:26PM
    Commit 7d2a47f builds on its old leanprover/lean4:v4.24.0
    v4.24.0
    56.6 MB Build archive size: 56628834 bytes.