Lib.rs

› Science › Math | Text processing
#lean #bindings #api-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

#226 in Math

Download history 502/week @ 2024-05-24 469/week @ 2024-05-31 368/week @ 2024-06-07 560/week @ 2024-06-14 398/week @ 2024-06-21 298/week @ 2024-06-28 382/week @ 2024-07-05 367/week @ 2024-07-12 359/week @ 2024-07-19 454/week @ 2024-07-26 382/week @ 2024-08-02 392/week @ 2024-08-09 403/week @ 2024-08-16 409/week @ 2024-08-23 382/week @ 2024-08-30 449/week @ 2024-09-06

1,695 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–6MB
~12K SLoC