★ 602 · Updated 2026-03-10
Create Foreign Function Interface bindings between Lean 4 and C for native libraries and system APIs
Browse skills that share this tag.
★ 602 · Updated 2026-03-10
Create Foreign Function Interface bindings between Lean 4 and C for native libraries and system APIs