selanavot / matrix-multiplication-all-fields
git clone https://github.com/selanavot/matrix-multiplication-all-fields.git
Lean formalization work extending the matrix multiplication 9/4 argument to arbitrary fields
+-1
stars, 24h · #60,028
+~-2
stars, 7 days · #58,912
+29
stars, 30 days · #21,065
29
★ total · -2% this week
1
forks · 0 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-10-07 (17d ago)
Last push14d ago
OwnerUser