Lib.rs

› Science › Math
#lean #api-bindings #bindings

sys lean-sys

Bindings to Lean 4's C API

by Jad Ghalayini, Mario Carneiro, Schrodinger ZHU Yifan and 2 contributors

8 releases

new 0.0.8 Feb 15, 2025
0.0.7 Jun 18, 2024
0.0.6 Mar 7, 2024
0.0.5 Sep 15, 2023
0.0.1 Jul 26, 2022

#250 in Math

Download history 386/week @ 2024-10-26 455/week @ 2024-11-02 431/week @ 2024-11-09 438/week @ 2024-11-16 435/week @ 2024-11-23 422/week @ 2024-11-30 434/week @ 2024-12-07 470/week @ 2024-12-14 413/week @ 2024-12-21 387/week @ 2024-12-28 424/week @ 2025-01-04 465/week @ 2025-01-11 599/week @ 2025-01-18 570/week @ 2025-01-25 684/week @ 2025-02-01 550/week @ 2025-02-08

2,470 downloads per month

MIT/Apache

125KB
3.5K 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.4–5MB
~12K SLoC