Reservoir
No results found
All Packages
TensorLib
A verified tensor library in Lean
Readme
Versions (6)
Dependencies (5)
Dependents (2)
Displaying
1-6
of
6
versions of
TensorLib
Sort by
Date
Not a part of any version track.
bde71b9
24 days ago
Released on April 3, 2025 at 7:19:02PM
Commit bde71b9 builds on its recent leanprover/lean4:v4.18.0
v4.18.0
49.4 MB
Build archive size: 49434515 bytes.
Not a part of any version track.
6e09abb
v0.0.5
a month ago
Released on April 2, 2025 at 12:42:10AM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.18.0
Not a part of any version track.
6b1a89a
v0.0.4
a month ago
Released on March 18, 2025 at 11:01:19PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.17.0
Not a part of any version track.
96c0275
v0.0.2
a month ago
Released on March 18, 2025 at 10:37:40PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.16.0
Not a part of any version track.
96c0275
v0.0.3
a month ago
Released on March 18, 2025 at 10:37:40PM
Build data not currently included on Reservoir.
See the package repository's CI instead.
v4.16.0
Not a part of any version track.
81f5c85
v0.0.1
2 months ago
Released on March 7, 2025 at 2:37:26AM
Commit 81f5c85 fails to build on leanprover/lean4:v4.16.0
v4.16.0
1
20