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.1 KB Build archive size: 788114 bytes.