Displaying 1-1 of 1 versions of risc0-lean4
Sort by
  1. Not a part of any version track.
    31c956f
    2 years ago
    Released on February 14, 2023 at 4:43:46PM
    Commit 31c956f builds on its old leanprover/lean4:nightly-2022-12-23
    nightly-2022-12-23