sunblaze-ucbverina

Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specification, and proof generation as well as their compositions.
Sort by
  1. Git dependency.
    Found on Reservoir.

    plausiblev4.18.0

  2. Git dependency.
    Found on Reservoir.

    mathlibv4.18.0

    The math library of Lean 4
  3. Git dependency.
    Found on Reservoir.

    batteriesv4.18.0

    The "batteries included" extended library for the Lean programming language and theorem prover