No results found

miniF2F-lean4

miniF2F dataset ported into Lean 4
Displaying 1-1 of 1 versions of miniF2F-lean4
Sort by
  1. Not a part of any version track.
    d2e847c
    7 months ago
    Released on March 5, 2024 at 2:54:12PM
    Commit d2e847c builds on its old leanprover/lean4:v4.6.0
    v4.6.0