Displaying 1-1 of 1 versions of filter-game
Sort by
  1. Not a part of any version track.
    5a56539
    a year ago
    Released on July 5, 2023 at 10:33:18PM
    Commit 5a56539 builds on its old leanprover/lean4:nightly-2023-06-20
    nightly-2023-06-20