Rust bindings to Lean 4's C API
Katzenpost's fork of lean-sys, for the Lean toolchain our
Lean packages use, published as katzenpost-lean-sys. Its library is still lean_sys:
[dependencies]
lean-sys = { package = "katzenpost-lean-sys", version = "0.1.0" }A release is a tag vX.Y.Z naming the version in Cargo.toml; pushing it publishes the crate to
crates.io.
Functions and comments manually translated from those in the lean.h header provided with Lean 4