Displaying 1-1 of 1 versions of Flame
Sort by
  1. Not a part of any version track.
    402f040
    a year ago
    Released on May 11, 2023 at 8:19:23PM
    Commit 402f040 builds on its old leanprover/lean4:nightly-2023-02-12
    nightly-2023-02-12