feat(math): machine-checked cos approximation bound (MATHF32-P05) + trace the OCI arc - #320

Merged

avrabe merged 3 commits into

mainfrom

feat/mathf32-p05-cos-approx

Jul 29, 2026

Commits on Jul 29, 2026

feat(math): machine-checked cos approximation bound (MATHF32-P05) + trace the OCI arc

avrabe
and
claude
committed
Merge branch 'main' into feat/mathf32-p05-cos-approx
avrabe
authored
Merge branch 'main' into feat/mathf32-p05-cos-approx
avrabe
authored