arthurpaulinoLeanREPL

Displaying 1-1 of 1 versions of LeanREPL
Sort by
  1. Not a part of any version track.
    fd6d728
    3 years ago
    Released on August 1, 2022 at 8:38:28PM
    Commit fd6d728 builds on its old leanprover/lean4:nightly-2022-07-31
    nightly-2022-07-31