Add basic Lean4 infrastructure and Float package (#246)
This could result in a formalized proof of Ryu. Or possibly not.
U
Ulf Adams committed
053f76d201b436b23611ba47f4165f4dac2b3b9b
Parent: 4c90317
Committed by GitHub <noreply@github.com>
on 1/7/2026, 1:15:13 PM