Skip to content

Import matrix multiplication exponent at most 9/4 over every field - #670

Merged
Vilin97 merged 6 commits into
mainfrom
codex/import-matrix-all-fields-20261017
Oct 17, 2026
Merged

Import matrix multiplication exponent at most 9/4 over every field#670
Vilin97 merged 6 commits into
mainfrom
codex/import-matrix-all-fields-20261017

Specialize the remaining complex arithmetic proofs

05bea3c
Select commit
Loading
Failed to load commit list.
Greptile Apps / Greptile Review succeeded Oct 17, 2026 in 4m 54s

Base review

Greptile has reviewed the Pull Request.

146 files reviewed, 0 comments added.

View more details on Greptile Apps