/lean-sys

Rust bindings for the Lean 4 proof assistant

Primary LanguageRustApache License 2.0Apache-2.0

lean-sys

crates.io docs.rs

Rust bindings to Lean 4's C API

Functions and comments manually translated from those in the lean.h header provided with Lean 4