lean-sys-0.0.3
Platform
Feature flags

Rust

lean-sys 0.0.3

Bindings to Lean 4's C API

Crate
Source
Builds
Feature flags

Coverage
8.8%
49 out of 557 items documented5 out of 536 items with examples
Links
tekne/lean-sys
0 2 0
Crates.io
Dependencies
Versions
- 0.0.6
- 0.0.5
- 0.0.4
- 0.0.3
- 0.0.2
- 0.0.1
Owners

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