dranov / RustCallLean

Example of Rust calling Lean code

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:

• Lean Reverse FFI
• lean-sys crate
• lean-rs crate