Lib.rs

› Science › Math
#bindings #lean

sys lean-sys

Bindings to Lean 4's C API

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

8 releases

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

#236 in Math

Download history 420/week @ 2025-01-02 438/week @ 2025-01-09 565/week @ 2025-01-16 580/week @ 2025-01-23 625/week @ 2025-01-30 582/week @ 2025-02-06 782/week @ 2025-02-13 685/week @ 2025-02-20 821/week @ 2025-02-27 700/week @ 2025-03-06 544/week @ 2025-03-13 566/week @ 2025-03-20 497/week @ 2025-03-27 510/week @ 2025-04-03 531/week @ 2025-04-10 479/week @ 2025-04-17

2,104 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

Dependencies

~0.4–6.5MB
~12K SLoC