lean-sys
| Crates.io | lean-sys |
| lib.rs | lean-sys |
| version | 0.0.7 |
| source | src |
| created_at | 2022-07-26 04:07:10.095992 |
| updated_at | 2024-06-18 21:05:38.125871 |
| description | Bindings to Lean 4's C API |
| homepage | |
| repository | https://github.com/digama0/lean-sys |
| max_upload_size | |
| id | 632977 |
| size | 120,346 |
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