Verified-zkEVMPolyFun

Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols
Displaying 1-3 of 3 versions of PolyFun
Sort by
  1. Not a part of any version track.
    04a12b6
    a day ago
    Released on July 10, 2026 at 2:59:56PM
    Commit 04a12b6 builds on its recent leanprover/lean4:v4.31.0
    v4.31.0
    22.5 MB Build archive size: 22525665 bytes.
  2. Not a part of any version track.
    d562044
    v4.31.0
    11 days ago
    Released on June 30, 2026 at 8:16:56PM
    Commit d562044 builds on its recent leanprover/lean4:v4.31.0
    v4.31.0
    23.0 MB Build archive size: 23029413 bytes.
  3. Not a part of any version track.
    5d3a160
    v4.30.0
    a month ago
    Released on May 31, 2026 at 1:14:10AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0