mo271 / Zeta5

git clone https://github.com/mo271/Zeta5.git

—

stars, 24h · #16,269

+~2

stars, 7 days · #25,387

+40

stars, 30 days · #15,150

★ total · +2% this week

forks · 2 open issues

2026-10-20 · 39 ★ 2026-10-23 · 40 ★

LanguageLean

LicenseApache-2.0

Created2026-09-23 (1mo ago)

Last push26d ago

OwnerUser