argumentcomputerix0.1.0

a zero-knowledge proof-carrying code platform for Lean 4
Sort by
  1. Git dependency.
    Not found on Reservoir.

    lean4leana4188d7

  2. Git dependency.
    Found on Reservoir.

    batteriesv4.33.0

    The "batteries included" extended library for the Lean programming language and theorem prover
  3. Git dependency.
    Found on Reservoir.

    Cliv4.33.0

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

    Blake32db8f69

    Lean4 bindings to Blake3
  5. Git dependency.
    Found on Reservoir.

    LSpecab4d5eb

    A Testing Framework for Lean