Skip to content

Fp8_e2m5 dtype support - #98

Open
SmoothThunk wants to merge 4 commits into
leanprover:mainfrom
SmoothThunk:float8-e2m5
Open

Fp8_e2m5 dtype support#98
SmoothThunk wants to merge 4 commits into
leanprover:mainfrom
SmoothThunk:float8-e2m5

PR Fix: Saved and pushed changes

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

Annotations

1 warning
build
succeeded Jul 31, 2026 in 49s