Reservoir
No results found
All Packages
TensorLib
A verified tensor library in Lean
Readme
Versions (2)
Dependencies (4)
Dependents (1)
Displaying
1-2
of
2
versions of
TensorLib
Sort by
Date
Not a part of any version track.
81f5c85
0.0.1
4 days ago
Released on March 7, 2025 at 2:37:26AM
Commit 81f5c85 fails to build on leanprover/lean4:v4.16.0
v4.16.0
Not a part of any version track.
81f5c85
v0.0.1
4 days 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