No results found

proofNet-lean4

ProofNet dataset ported into Lean 4
Displaying 1-1 of 1 versions of proofNet-lean4
Sort by
  1. Not a part of any version track.
    60efffb
    7 months ago
    Released on May 7, 2024 at 10:09:10AM
    Commit 60efffb builds on its old leanprover/lean4:v4.6.0
    v4.6.0