Skip to content

feat(matrix): prove finite thin-product correctness and sparse bounds - #1496

Merged
SamuelSchlesinger merged 31 commits into
mainfrom
work/three-sum-thin-product-math-20261028
Oct 29, 2026
Merged

feat(matrix): prove finite thin-product correctness and sparse bounds#1496
SamuelSchlesinger merged 31 commits into
mainfrom
work/three-sum-thin-product-math-20261028

fix(imports): regenerate thin-product aggregate after main integration

6a86e25
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-title
succeeded Oct 29, 2026 in 3s