Displaying 1-1 of 1 versions of collChoSoWel
Sort by
  1. Not a part of any version track.
    344a4f6
    a year ago
    Released on September 9, 2023 at 9:19:37AM
    Commit 344a4f6 builds on its old leanprover/lean4:nightly-2023-09-02
    nightly-2023-09-02