lean-rs-sys v0.7.1 — Raw FFI bindings for the Lean 4 C ABI. See `lean-rs` for the safe front door.

Sign in to join the discussion — your thebay.events account works here.