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.
b76a0643 months agoReleased on October 9, 2025 at 8:02:16PMCommit b76a064 builds on its old leanprover/lean4:v4.23.0v4.23.059.8 MB Build archive size: 59808738 bytes. - Not a part of any version track.
d8137a4v0.0.163 months agoReleased on September 29, 2025 at 7:11:52PMCommit d8137a4 builds on its old leanprover/lean4:v4.23.0v4.23.059.8 MB Build archive size: 59807246 bytes. - Not a part of any version track.
d8137a4v4.23.03 months agoReleased on September 29, 2025 at 7:11:52PMCommit d8137a4 builds on its old leanprover/lean4:v4.23.0v4.23.059.8 MB Build archive size: 59807246 bytes. - Not a part of any version track.
e75c008v0.0.155 months agoReleased on August 15, 2025 at 8:11:28PMCommit e75c008 builds on its old leanprover/lean4:v4.22.0v4.22.051.8 MB Build archive size: 51793720 bytes. - Not a part of any version track.
870693cv0.0.145 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.
e4bd2c3v0.0.136 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.
9880950v0.0.126 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.
82f891dv0.0.117 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.
f4f5171v0.0.107 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.
ff31809v0.0.98 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.
fbaa25bv0.0.88 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.
38a71e6v0.0.78 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.
51e2d57v0.0.68 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.
6e09abbv0.0.59 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.
6b1a89av0.0.410 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.
96c0275v0.0.210 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.
96c0275v0.0.310 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.
81f5c85v0.0.110 months agoReleased on March 7, 2025 at 2:37:26AMCommit 81f5c85 fails to build on leanprover/lean4:v4.16.0v4.16.0