NUS-Math-FormalizationGame

Displaying 1-1 of 1 versions of Game
Sort by
  1. Not a part of any version track.
    f4bf301
    9 months ago
    Released on October 25, 2024 at 9:21:59AM
    Commit f4bf301 builds on its old leanprover/lean4:v4.7.0
    v4.7.0