Lean 4 的 C API 绑定
作者： Jad Ghalayni，Mario Carneiro，Schrodinger ZHU Yifan 以及 2 位贡献者
#238 在 数学
1,598 每月下载量
110KB 3K SLoC
Rust 对 Lean 4 的 C API 的绑定
手动翻译自 Lean 4 中提供的 lib.rs: Rust 对 Lean 4 的 C API 的绑定 手动翻译自 Lean 4 中提供的 依赖项 ~0.4–5.5MB ~12K SLoC libc memoffset 0.9 parking_lot static_assertions 链接 leanshared 构建 build.rs 开发 rand 0.8 开发 rand_xoshiro 其他功能 extern small_allocator static
lib.rs: Rust 对 Lean 4 的 C API 的绑定 手动翻译自 Lean 4 中提供的 依赖项 ~0.4–5.5MB ~12K SLoC libc memoffset 0.9 parking_lot static_assertions 链接 leanshared 构建 build.rs 开发 rand 0.8 开发 rand_xoshiro 其他功能 extern small_allocator static
lib.rs
手动翻译自 Lean 4 中提供的 依赖项 ~0.4–5.5MB ~12K SLoC libc memoffset 0.9 parking_lot static_assertions 链接 leanshared 构建 build.rs 开发 rand 0.8 开发 rand_xoshiro 其他功能 extern small_allocator static
依赖项 ~0.4–5.5MB ~12K SLoC libc memoffset 0.9 parking_lot static_assertions 链接 leanshared 构建 build.rs 开发 rand 0.8 开发 rand_xoshiro 其他功能 extern small_allocator static
~0.4–5.5MB ~12K SLoC
leanshared
build.rs
