Skip to content

Bfloat16#94

Merged
SmoothThunk merged 6 commits into
leanprover:mainfrom
SmoothThunk:bfloat16
Jul 15, 2026
Merged

Bfloat16#94
SmoothThunk merged 6 commits into
leanprover:mainfrom
SmoothThunk:bfloat16

fix: Join int64/uint64 commutativity and typo in comment

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

Annotations

1 warning
build
succeeded Jul 15, 2026 in 57s