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

6 releases

0.0.6 Mar 7, 2024
0.0.5 Sep 15, 2023
0.0.3 Nov 14, 2022
0.0.2 Aug 22, 2022
0.0.1 Jul 26, 2022

#291 in Math

Download history 146/week @ 2024-01-22 132/week @ 2024-01-29 139/week @ 2024-02-05 164/week @ 2024-02-12 135/week @ 2024-02-19 254/week @ 2024-02-26 417/week @ 2024-03-04 319/week @ 2024-03-11 237/week @ 2024-03-18 272/week @ 2024-03-25 362/week @ 2024-04-01 290/week @ 2024-04-08 308/week @ 2024-04-15 308/week @ 2024-04-22 414/week @ 2024-04-29 409/week @ 2024-05-06

1,468 downloads per month

MIT/Apache

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