Reservoir
No results found
All Packages
lean4-ctypes
FFI for Lean 4
#ffi
Readme
Versions (1)
Displaying
1-1
of
1
versions of
lean4-ctypes
Sort by
Date
Not a part of any version track.
c9754f3
a year 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
1
20