Displaying 1-1 of 1 versions of lean2sexp
Sort by
  1. Not a part of any version track.
    7da759c
    a year ago
    Released on June 13, 2023 at 7:24:49PM
    Commit 7da759c builds on its old leanprover/lean4:nightly
    nightly
    29.7 MB Build archive size: 29705664 bytes.