ffi-bindings - Create FFI bindings between Lean 4 and CFFILean 4CNative libraries★ 18 · Updated 2026-03-11Create Foreign Function Interface bindings between Lean 4 and C code⚙ Define opaque types⚙ Declare extern functions⚙ Implement C functions