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.
    1893b2f
    a month ago
    Released on March 31, 2025 at 11:23:23AM
    Commit 1893b2f builds on its old leanprover/lean4:v4.18.0-rc1
    v4.18.0-rc1
    7.2 KB Build archive size: 7178 bytes.