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

7 releases

0.0.7 Jun 18, 2024
0.0.6 Mar 7, 2024
0.0.5 Sep 15, 2023
0.0.3 Nov 14, 2022
0.0.1 Jul 26, 2022

#221 in Math

Download history 666/week @ 2024-09-12 676/week @ 2024-09-19 740/week @ 2024-09-26 655/week @ 2024-10-03 793/week @ 2024-10-10 806/week @ 2024-10-17 455/week @ 2024-10-24 426/week @ 2024-10-31 444/week @ 2024-11-07 481/week @ 2024-11-14 415/week @ 2024-11-21 400/week @ 2024-11-28 428/week @ 2024-12-05 472/week @ 2024-12-12 418/week @ 2024-12-19 369/week @ 2024-12-26

1,738 downloads per month

MIT/Apache

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