AlexKontorovichGame

RealAnalysisGame
Displaying 1-1 of 1 versions of Game
Sort by
  1. Not a part of any version track.
    1b2d19e
    a day ago
    Released on November 4, 2025 at 5:43:53AM
    Commit 1b2d19e builds on its old leanprover/lean4:v4.23.0-rc2
    v4.23.0-rc2
    19.1 MB Build archive size: 19107421 bytes.