cargo / lean-rs

Safe Rust bindings for Lean 4 interop: runtime initialization, object handles, typed ABI conversions, module loading, exported function calls, semantic handles, and callback handles.

0.9.3 did not build; the badge stands for .