Displaying 1-1 of 1 versions of RustFFI.lean
Sort by
  1. Not a part of any version track.
    af3a8f6
    a year ago
    Released on December 13, 2023 at 9:23:23PM
    Commit af3a8f6 builds on its old leanprover/lean4:nightly-2022-12-08
    nightly-2022-12-08