lean-sys

Rust bindings to Lean 4's C API

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

Name		Name	Last commit message	Last commit date
Latest commit History 36 Commits
.github/workflows		.github/workflows
src		src
.gitignore		.gitignore
.ignore		.ignore
CHANGELOG		CHANGELOG
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md
bindings.rs		bindings.rs
build.rs		build.rs
lean-toolchain		lean-toolchain

Navigation Menu