Th0rgal/turbo-lean

High-performance, distributed build, verification, and counterexample tooling for Lean 4

语言：Rust · GitHub 星标：48 · Fork：3

在 GitHub 上查看原仓库