Th0rgal / turbo-lean
git clone https://github.com/Th0rgal/turbo-lean.git
High-performance, distributed build, verification, and counterexample tooling for Lean 4
+4
stars, 24h · #8,835
+~26
stars, 7 days · #9,711
+52
stars, 30 days · #15,503
52
★ total · +26% this week
3
forks · 7 open issues
Star history (as recorded here)
LanguageRust
LicenseMIT
Created2026-10-18 (16d ago)
Last pushtoday
Watchers0
OwnerUser
Links
README
Loading README…