Displaying 1-1 of 1 versions of Ipld.lean
Sort by
  1. Not a part of any version track.
    d8bd0cd
    a year ago
    Released on December 13, 2023 at 9:23:01PM
    Commit d8bd0cd builds on its old leanprover/lean4:nightly-2023-01-10
    nightly-2023-01-10