Lib.rs

› Programming languages
#math #bindings

sys lean-sys

Bindings to Lean 4's C API

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

9 releases

0.0.9 Sep 24, 2025
0.0.8 Feb 15, 2025
0.0.7 Jun 18, 2024
0.0.6 Mar 7, 2024
0.0.1 Jul 26, 2022

#325 in Programming languages

Download history 643/week @ 2025-08-26 749/week @ 2025-09-02 711/week @ 2025-09-09 644/week @ 2025-09-16 885/week @ 2025-09-23 791/week @ 2025-09-30 877/week @ 2025-10-07 797/week @ 2025-10-14 859/week @ 2025-10-21 884/week @ 2025-10-28 865/week @ 2025-11-04 770/week @ 2025-11-11 809/week @ 2025-11-18 751/week @ 2025-11-25 895/week @ 2025-12-02 743/week @ 2025-12-09

3,354 downloads per month

MIT/Apache

135KB
4K 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–1MB
~17K SLoC