lean-rs 0.1.0

Safe Rust bindings for hosting Lean 4 capabilities: runtime initialization, owned and borrowed object handles, typed first-order ABI conversions, compiled module loading, exported function calls, semantic handles, bounded meta services, batching, and session pooling.

docs.rs failed to build lean-rs-0.1.0
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.

lean-rs

Safe Rust bindings for hosting Lean 4 capabilities. The single safe front door of the lean-rs project: runtime initialization, owned and borrowed object handles, typed first-order ABI conversions, module loading and exported functions, semantic handles, bounded meta services, batching, and session pooling. Built on top of the in-tree lean-rs-sys crate (raw FFI, published per RD-2026-05-17-005) and the workspace's lean-toolchain crate. See the workspace README.