Skip to content

Add fp8_e3m4 dtype support - #97

Merged
SmoothThunk merged 9 commits into
leanprover:mainfrom
SmoothThunk:float8-e3m4
Jul 28, 2026
Merged

Add fp8_e3m4 dtype support#97
SmoothThunk merged 9 commits into
leanprover:mainfrom
SmoothThunk:float8-e3m4

PR fix: fixed dead conditionals in subnormal encoder, comments, and t…

fa99aab
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Jul 27, 2026 in 57s