Skip to content

feat: fix and expose Float.ofScientific#14110

Merged
TwoFX merged 2 commits into
leanprover:masterfrom
TwoFX:julia/float-ofscientific
Jun 18, 2026
Merged

feat: fix and expose Float.ofScientific#14110
TwoFX merged 2 commits into
leanprover:masterfrom
TwoFX:julia/float-ofscientific