Displaying 1-1 of 1 versions of lean-dojo-mew
Sort by
  1. Not a part of any version track.
    d00c776
    a year ago
    Released on September 23, 2023 at 12:34:55AM
    Commit d00c776 builds on its old leanprover/lean4:nightly-2023-08-19
    nightly-2023-08-19