ulfjackryu0.1.0

Converts floating point numbers to decimal strings
#math
Displaying 1-2 of 2 versions of ryu
Sort by
  1. 0.1Version track: 0.1
    0.1.0
    19 days ago
    Released on February 9, 2026 at 11:30:21PM
    Commit 4c0618b fails to build on leanprover/lean4:v4.27.0-rc1
    v4.27.0-rc1
  2. Not a part of any version track.
    72e18e8
    v2.0
    7 years ago
    Released on July 8, 2019 at 1:32:48PM