lean-sys-0.0.6
Platform
Feature flags

Rust

lean-sys 0.0.6

Bindings to Lean 4's C API

Crate
Source
Builds
Feature flags

Coverage
11.88%
48 out of 404 items documented5 out of 383 items with examples
Links
digama0/lean-sys
9 3 1
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