matrix-multiplication-all-fields
Lean formalization work extending the matrix multiplication 9/4 argument to arbitrary fields
- Stars
- 19
- Forks
- 0
- + today
- +1
- Created
- 1d
Ranking data as of October 7, 2026 (UTC).
Star History
Today, hour by hour
01
Overview
Lean formalization work extending the matrix multiplication 9/4 argument to arbitrary fields It ranks #5425 on GitTiger, gaining +1 star on October 7, 2026 (UTC).
The project is written in Lean. It was created 1d ago.
Installation
git clone https://github.com/selanavot/matrix-multiplication-all-fields.git
cd matrix-multiplication-all-fields
# see README for setup