thomasahle / fast-polynomials
git clone https://github.com/thomasahle/fast-polynomials.git
—
+0
stars, 24h · #26,527
+~0
stars, 7 days · #27,002
+~0
stars, 30 days · #33,355
30
★ total
2
forks · 0 open issues
Star history (as recorded here)
LanguageLean
License—
Created2026-09-04 (1mo ago)
Last push9d ago
OwnerUser