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

Download history 67/week @ 2023-12-05 154/week @ 2023-12-12 126/week @ 2023-12-19 116/week @ 2023-12-26 152/week @ 2024-01-02 159/week @ 2024-01-09 134/week @ 2024-01-16 144/week @ 2024-01-23 132/week @ 2024-01-30 147/week @ 2024-02-06 170/week @ 2024-02-13 124/week @ 2024-02-20 278/week @ 2024-02-27 422/week @ 2024-03-05 308/week @ 2024-03-12 213/week @ 2024-03-19

1,241 downloads per month

MIT/Apache

105KB
3K SLoC

lean-sys

crates.io docs.rs lean version

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