lean-rust-ffi-experiments

This repo exists to demonstrate FFI between lean and rust.

Take a look at the justfile in the repository root for operations that can be run on this code.

Run:

$ just run-rust

To build a Lean library, a Rust executable that links against that library, and run the Rust executable.