Skip to content

Add float8_e4m3fn dtype support#95

Merged
SmoothThunk merged 8 commits into
leanprover:mainfrom
SmoothThunk:float8-e4m3
Jul 17, 2026
Merged

Add float8_e4m3fn dtype support#95
SmoothThunk merged 8 commits into
leanprover:mainfrom
SmoothThunk:float8-e4m3

PR fix: encode helper for fp8_e4m3 marked private

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

Annotations

1 warning
build
succeeded Jul 17, 2026 in 56s