MuleRun Logo
MuleRun
    Back to all

    ffi-bindings

    by Nathanial Hartman

    00Feb 6, 2026Visit Source
    Create FFI bindings between Lean 4 and C code. Use when working with foreign functions, native libraries, Metal, or system APIs.