Add fp8_e3m4 dtype support - #97

Merged

SmoothThunk merged 9 commits into

leanprover:mainfrom

SmoothThunk:float8-e3m4

Jul 28, 2026

Commits on Jul 23, 2026

Add fp8_e3m4 dtype support
SmoothThunk
committed
128bd4a
Add round-trip PBT and commutativity for fp8_e3m4
SmoothThunk
committed
ff2b894
PR fix - join commutativity, lossless rules, toFloat32/64Tree, and npy guards
SmoothThunk
committed
ac2f709

Commits on Jul 27, 2026

fix: NaN encode, exhaustive round-trip, fp8 cast refactor, npy guards, and fix comments
SmoothThunk
committed
590bea9
PR fix: fixed dead conditionals in subnormal encoder, comments, and typos
SmoothThunk
committed
fa99aab