Clap-langclap0.1.0

Implementation of the Clap language for ZK Circuits in the Lean proof-assistant
Sort by
  1. Git dependency.
    Not found on Reservoir.

    r1serialize978a917

  2. Git dependency.
    Found on Reservoir.

    mathlibv4.26.0

    The math library of Lean 4