openai / ten-proofs
git clone https://github.com/openai/ten-proofs.git
Lean certificates accompanying ten proofs in mathematics and theoretical computer science
—
stars, 24h
—
stars, 7 days
—
stars, 30 days
214
★ total
29
forks · 0 open issues
Star history starts 2026-10-20; the chart appears after the second daily snapshot.
LanguageLean
LicenseApache-2.0
Created2026-08-05 (2mo ago)
Last push2mo ago
OwnerOrganization