Displaying 1-1 of 1 versions of Game
Sort by
  1. Not a part of any version track.
    7f9847f
    7 months ago
    Released on May 23, 2024 at 10:17:29AM
    Commit 7f9847f builds on its old leanprover/lean4:v4.6.0
    v4.6.0