RustFFI.lean
A template for calling Rust functions in Lean using Lean's C FFI.
Based on the Lake FFI example and Rust's FFI docs.
Running
Build/run Main.lean with lake exe ffi
It should print the result of 1 + 2.
Troubleshooting
Run lake clean and/or cargo clean after making changes.