7 个版本
| 0.0.7 | 2024年6月18日 |
|---|---|
| 0.0.6 | 2024年3月7日 |
| 0.0.5 | 2023年9月15日 |
| 0.0.3 | 2022年11月14日 |
| 0.0.1 | 2022年7月26日 |
#238 在 数学
1,598 每月下载量
110KB
3K SLoC
lean-sys
Rust 对 Lean 4 的 C API 的绑定
手动翻译自 Lean 4 中提供的 Rust 对 Lean 4 的 C API 的绑定 手动翻译自 Lean 4 中提供的
~0.4–5.5MB
lib.rs:
依赖项
~12K SLoC