☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (4)
Dependencies (9)
flean
0.1.0
Floating point numbers in lean. A replacement of Mathlib.Data.FP
#math
Displaying
1-4
of
4
versions of
flean
Sort by
Date
0.1
Version track: 0.1
0.1.0
v4.27.0-rc1
3 days ago
Released on December 16, 2025 at 3:10:19PM
Commit e213e5c builds on its recent leanprover/lean4:v4.27.0-rc1
v4.27.0-rc1
2.3 MB
Build archive size: 2316941 bytes.
0.1
Version track: 0.1
0.1.0
v4.27.0-rc1
3 days ago
Released on December 16, 2025 at 3:10:19PM
Commit e213e5c builds on its recent leanprover/lean4:v4.27.0-rc1
v4.27.0-rc1
2.3 MB
Build archive size: 2316941 bytes.
0.1
Version track: 0.1
0.1.0
v4.25.0-rc2
2 months ago
Released on October 28, 2025 at 1:31:39AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.25.0-rc2
0.1
Version track: 0.1
0.1.0
v4.24.0-rc1
3 months ago
Released on September 21, 2025 at 10:23:58PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.24.0-rc1
1
20