TensorLib
A verified tensor library in Lean
Displaying 1-18 of 18 versions of TensorLib
Sort by
Date
- Not a part of any version track.
b76a064
3 days agoReleased on October 9, 2025 at 8:02:16PMCommit b76a064 builds on its recent leanprover/lean4:v4.23.0v4.23.059.8 MB Build archive size: 59808579 bytes. - Not a part of any version track.
d8137a4
v0.0.1613 days agoReleased on September 29, 2025 at 7:11:52PMCommit d8137a4 builds on its recent leanprover/lean4:v4.23.0v4.23.059.8 MB Build archive size: 59807246 bytes. - Not a part of any version track.
d8137a4
v4.23.013 days agoReleased on September 29, 2025 at 7:11:52PMCommit d8137a4 builds on its recent leanprover/lean4:v4.23.0v4.23.059.8 MB Build archive size: 59807246 bytes. - Not a part of any version track.
e75c008
v0.0.152 months agoReleased on August 15, 2025 at 8:11:28PMCommit e75c008 builds on its recent leanprover/lean4:v4.22.0v4.22.051.8 MB Build archive size: 51793720 bytes. - Not a part of any version track.
870693c
v0.0.142 months agoReleased on August 15, 2025 at 6:40:00PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.22.0 - Not a part of any version track.
e4bd2c3
v0.0.133 months agoReleased on July 8, 2025 at 2:14:20AMCommit e4bd2c3 builds on its old leanprover/lean4:v4.20.0v4.20.056.5 MB Build archive size: 56497215 bytes. - Not a part of any version track.
9880950
v0.0.124 months agoReleased on June 24, 2025 at 10:11:14PMCommit 9880950 builds on its old leanprover/lean4:v4.20.0v4.20.056.5 MB Build archive size: 56492429 bytes. - Not a part of any version track.
82f891d
v0.0.114 months agoReleased on June 12, 2025 at 5:09:03PMCommit 82f891d builds on its old leanprover/lean4:v4.20.0v4.20.056.5 MB Build archive size: 56486081 bytes. - Not a part of any version track.
f4f5171
v0.0.104 months agoReleased on May 28, 2025 at 12:46:03AMCommit f4f5171 builds on its old leanprover/lean4:v4.19.0v4.19.053.7 MB Build archive size: 53696792 bytes. - Not a part of any version track.
ff31809
v0.0.95 months agoReleased on May 19, 2025 at 2:42:47PMCommit ff31809 builds on its old leanprover/lean4:v4.19.0v4.19.053.6 MB Build archive size: 53565673 bytes. - Not a part of any version track.
fbaa25b
v0.0.85 months agoReleased on May 4, 2025 at 3:48:59PMCommit fbaa25b builds on its old leanprover/lean4:v4.19.0v4.19.053.6 MB Build archive size: 53565280 bytes. - Not a part of any version track.
38a71e6
v0.0.75 months agoReleased on May 1, 2025 at 11:44:28PMCommit 38a71e6 builds on its old leanprover/lean4:v4.19.0v4.19.053.6 MB Build archive size: 53557403 bytes. - Not a part of any version track.
51e2d57
v0.0.65 months agoReleased on May 1, 2025 at 11:28:06PMCommit 51e2d57 builds on its old leanprover/lean4:v4.19.0v4.19.053.5 MB Build archive size: 53543446 bytes. - Not a part of any version track.
6e09abb
v0.0.56 months agoReleased on April 2, 2025 at 12:42:10AMBuild 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.47 months agoReleased on March 18, 2025 at 11:01:19PMBuild 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.27 months agoReleased on March 18, 2025 at 10:37:40PMBuild 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.37 months agoReleased on March 18, 2025 at 10:37:40PMBuild 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.17 months agoReleased on March 7, 2025 at 2:37:26AMCommit 81f5c85 fails to build on leanprover/lean4:v4.16.0v4.16.0