Skip to content

feat(math): machine-checked approximation bound for the f32 sin kernel (MATHF32-P04) - #307

Merged
avrabe merged 1 commit into
mainfrom
feat/mathf32-p04-sin-approx-proof
Jul 23, 2026
Merged

feat(math): machine-checked approximation bound for the f32 sin kernel (MATHF32-P04)#307
avrabe merged 1 commit into
mainfrom
feat/mathf32-p04-sin-approx-proof

feat(math): machine-checked approximation bound for the f32 sin kerne…

4683ee1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar