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

avrabe merged 1 commit into

mainpulseengine/relay:mainfrom

feat/mathf32-p04-sin-approx-proofpulseengine/relay:feat/mathf32-p04-sin-approx-proofCopy head branch name to clipboard