Skip to content

feat(math): machine-checked rounding bound for the f32 cosine kernel (MATHF32-P05 rounding half) - #304

Merged
avrabe merged 1 commit into
mainfrom
feat/cos-poly-rounding-proof
Jul 22, 2026
Merged

feat(math): machine-checked rounding bound for the f32 cosine kernel (MATHF32-P05 rounding half)#304
avrabe merged 1 commit into
mainfrom
feat/cos-poly-rounding-proof

feat(math): machine-checked rounding bound for the f32 COSINE kernel …

704f506
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar