6 releases
0.0.6 | Mar 7, 2024 |
---|---|
0.0.5 | Sep 15, 2023 |
0.0.3 | Nov 14, 2022 |
0.0.2 | Aug 22, 2022 |
0.0.1 | Jul 26, 2022 |
#285 in Math
1,241 downloads per month
105KB
3K
SLoC
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
lib.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
Dependencies
~0.5–6.5MB
~12K SLoC