Verified-zkEVMCompPoly0.1.0

Computable Polynomials in Lean.
Displaying 1-2 of 2 packages depending on Verified-zkEVM/CompPoly
Sort by

  1. Verified-zkEVM/Arklibusesv4.30.0

    Formally Verified Arguments of Knowledge in Lean

  2. leanprover/sosusesv4.31.0

    A Lean 4 sum-of-squares tactic for nonlinear real arithmetic.