Skip to content

fp8_e5m2 dtype support#96

Merged
SmoothThunk merged 13 commits into
leanprover:mainfrom
SmoothThunk:float8-e5m2
Jul 23, 2026
Merged

fp8_e5m2 dtype support#96
SmoothThunk merged 13 commits into
leanprover:mainfrom
SmoothThunk:float8-e5m2

Saved unsaved changes in comment for width in helpers

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

Annotations

1 warning
build
succeeded Jul 23, 2026 in 1m 3s