ffi-bindings
Create FFI bindings between Lean 4 and C code. Use when working with foreign functions, native libraries, Metal, or system APIs.
$ 설치
git clone https://github.com/nathanial/lean-workspace /tmp/lean-workspace && cp -r /tmp/lean-workspace/.claude/skills/ffi-bindings ~/.claude/skills/lean-workspace// tip: Run this command in your terminal to install the skill
Repository
nathanial
Author
nathanial/lean-workspace/.claude/skills/ffi-bindings
0
Stars
0
Forks
Updated1w ago
Added1w ago