No results found

miniF2F-lean4

Displaying 1-1 of 1 versions of miniF2F-lean4
Sort by
  1. Not a part of any version track.
    6bcf0b4
    3 months ago
    Released on July 14, 2024 at 3:12:57PM
    Commit 6bcf0b4 builds on its old leanprover/lean4:v4.10.0-rc2
    v4.10.0-rc2
    788.6 KB Build archive size: 788579 bytes.