Results for 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.

Opinionated Rust host stack for embedding Lean 4 as a theorem-prover capability: typed sessions, kernel-check evidence handles, bounded MetaM services, progress, batching, and session pooling.

Child-process runtime for the lean-rs worker boundary.

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

Lean 4 toolchain discovery, fingerprinting, symbol allowlist, and build-script helpers reusable by downstream embedders' own build.rs scripts.

Worker-process boundary for lean-rs host workloads.

Parent-side supervisor for the lean-rs worker process boundary.

Wire protocol and shared value types for the lean-rs worker process boundary.

Project clean tools support rust, golang, maven and gradle projects out of the box

A command line tool to remove temporary files created during (La)TeX compilation.

No description provided.