lean-sys
| Crates.io | lean-sys |
| lib.rs | lean-sys |
| version | 0.0.9 |
| created_at | 2022-07-26 04:07:10.095992+00 |
| updated_at | 2025-09-24 20:02:08.468017+00 |
| description | Bindings to Lean 4's C API |
| homepage | |
| repository | https://github.com/digama0/lean-sys |
| max_upload_size | |
| id | 632977 |
| size | 156,613 |
Mario Carneiro (digama0)
documentation
README
lean-sys
Rust bindings to Lean 4's C API
Functions and comments manually translated from those in the lean.h header provided with Lean 4