Verified-zkEVMPolyFun

Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols
Sort by
  1. Registry dependency.
    Found on Reservoir.

    cslibv4.32.0

    The Lean Computer Science Library (CSLib)
  2. Registry dependency.
    Found on Reservoir.

    mathlibv4.32.0

    The math library of Lean 4