No results found

lean2sexp

Convert Lean .olean files to s-expressions
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.