There seems to be no complete tutorial on creating C FFI bindings in Lean4. So I am writing notes here. I am putting the keyword "tutorial" in the GitHub project name just so people who search "Lean4 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results