Displaying 1-1 of 1 versions of mA4N1
Sort by
  1. Not a part of any version track.
    35ad7d5
    2 months ago
    Released on October 22, 2024 at 8:43:44PM
    Commit 35ad7d5 fails to build on leanprover/lean4:v4.12.0-rc1
    v4.12.0-rc1