Skip to content

Mixed precision bound - #100

Open
SmoothThunk wants to merge 10 commits into
leanprover:mainfrom
SmoothThunk:mixed-precision-bound
Open

Mixed precision bound#100
SmoothThunk wants to merge 10 commits into
leanprover:mainfrom
SmoothThunk:mixed-precision-bound

Update lean version, add POrd type class for floats and theorems in m…

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

Annotations

1 warning
build
succeeded Aug 21, 2026 in 7m 26s