lean-sys 0.0.3

Bindings to Lean 4's C API
Documentation
1
2
3
4
5
pub mod high_level;
/** Arrays of objects */
pub mod low_level;
pub use high_level::*;
pub use low_level::*;