mo271 / Zeta5
git clone https://github.com/mo271/Zeta5.git
—
+0
stars, 24h · #37,174
+~2
stars, 7 days · #29,279
+~8
stars, 30 days · #33,233
40
★ total · +2% this week
3
forks · 2 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-09-23 (1mo ago)
Last push26d ago
OwnerUser
Links
- GitHub: github.com/mo271/Zeta5
- Releases · Issues · Hacker News mentions
README
Loading README…