Reservoir
No results found
All Packages
scilean
Scientific computing in Lean 4
Readme
Versions (2)
Dependencies (10)
Displaying
1-2
of
2
versions of
scilean
Sort by
Date
Not a part of any version track.
efbb2d0
v4.20.1
18 days ago
Released on June 9, 2025 at 7:25:12PM
Commit efbb2d0 fails to build on leanprover/lean4:v4.20.1
v4.20.1
Not a part of any version track.
efbb2d0
v4.20.1
18 days ago
Released on June 9, 2025 at 7:25:12PM
Commit efbb2d0 fails to build on leanprover/lean4:v4.20.1
v4.20.1
1
20