Displaying 1-1 of 1 versions of yatima
Sort by
  1. Not a part of any version track.
    d9f20f5
    a year ago
    Released on April 20, 2023 at 7:35:54PM
    Commit d9f20f5 builds on its old leanprover/lean4:nightly-2023-01-10
    nightly-2023-01-10