A small example of calling Lean's FFI from Rust. Inspired by
aniva/RustCallLean
, but
without Nix and using lean-sys
rather than bindgen
directly.
Resources:
A small example of calling Lean's FFI from Rust. Inspired by
aniva/RustCallLean
, but
without Nix and using lean-sys
rather than bindgen
directly.
Resources: