Displaying 1-1 of 1 versions of Chess
Sort by
  1. Not a part of any version track.
    4767e18
    6 days ago
    Released on December 3, 2024 at 2:50:36AM
    Commit 4767e18 builds on its recent leanprover/lean4:v4.14.0
    v4.14.0
    1.4 MB Build archive size: 1448392 bytes.