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.