Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.
c
tutorial
guide
example
glfw
ffi
bindings
lean
glfw3
ffi-bindings
glfw-bindings
ffi-example
lean4
glfw3-bindings
-
Updated
May 15, 2024 - Lean