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