alexf91lean4-ctypes

FFI for Lean 4
#ffi
Displaying 1-1 of 1 versions of lean4-ctypes
Sort by
  1. Not a part of any version track.
    c9754f3
    2 years ago
    Released on December 14, 2023 at 12:24:31AM
    Commit c9754f3 fails to build on leanprover/lean4:nightly-2023-11-21
    nightly-2023-11-21