Rust bindings to Lean 4's C API
Functions and comments manually translated from those in the lean.h header provided with Lean 4
chaluli/lean-sys
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Rust bindings to Lean 4's C API
Functions and comments manually translated from those in the lean.h header provided with Lean 4