Verified-zkEVMPolyFun

Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols
Displaying 1-11 of 11 versions of PolyFun
Sort by
  1. Not a part of any version track.
    a6d9042
    a day ago
    Released on October 17, 2026 at 8:12:38PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.35.0
  2. Not a part of any version track.
    bf635d0
    v4.35.0-patch1
    5 days ago
    Released on October 13, 2026 at 11:54:34PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.35.0
  3. Not a part of any version track.
    417c98c
    v4.35.0
    5 days ago
    Released on October 13, 2026 at 10:59:12PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.35.0
  4. Not a part of any version track.
    6362a3f
    v4.34.0
    a month ago
    Released on September 17, 2026 at 4:32:20AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.34.0
  5. Not a part of any version track.
    9442600
    v4.33.2
    2 months ago
    Released on August 22, 2026 at 3:03:03AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0
  6. Not a part of any version track.
    ee25209
    v4.33.1
    2 months ago
    Released on August 21, 2026 at 1:00:05AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0
  7. Not a part of any version track.
    a5895e4
    v4.33.0
    2 months ago
    Released on August 11, 2026 at 11:07:14PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0
  8. Not a part of any version track.
    dd77aa9
    v4.32.2
    2 months ago
    Released on August 5, 2026 at 2:25:10PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.2
  9. Not a part of any version track.
    3bdbd9b
    v4.32.0
    3 months ago
    Released on July 14, 2026 at 12:00:59AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.0
  10. Not a part of any version track.
    d562044
    v4.31.0
    4 months ago
    Released on June 30, 2026 at 8:16:56PM
    Commit d562044 builds on its old leanprover/lean4:v4.31.0
    v4.31.0
    23.0 MB Build archive size: 23029413 bytes.
  11. Not a part of any version track.
    5d3a160
    v4.30.0
    5 months 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