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

avrabe merged 1 commit into

mainpulseengine/relay:mainfrom

feat/cos-poly-rounding-proofpulseengine/relay:feat/cos-poly-rounding-proofCopy head branch name to clipboard