Skip to content

Fp16 Dtype#92

Merged
seanmcl merged 7 commits into
leanprover:mainfrom
SmoothThunk:Float16
Jun 30, 2026
Merged

Fp16 Dtype#92
seanmcl merged 7 commits into
leanprover:mainfrom
SmoothThunk:Float16

Rewrite join using recursion and fix self-cast PBT range guard

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

Annotations

1 warning
build
succeeded Jun 30, 2026 in 53s