Skip to content

verify(falcon): v1.128 → P04 verified — machine-checked f32 sin approximation bound - #308

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

verify(falcon): v1.128 → P04 verified — machine-checked f32 sin approximation bound#308
avrabe merged 1 commit into
mainfrom
verify/mathf32-p04-sin-approx

Commits

Commits on Jul 23, 2026