NethermindEthsp1-poc1.0.0

Proof-of-Concept Verification Infrastructure for SP1 zk chips
Sort by
  1. Git dependency.
    Found on Reservoir.

    Cli6637594

    A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
  2. Git dependency.
    Found on Reservoir.

    mathlibv4.18.0

    The math library of Lean 4