TensorLib
A verified tensor library in Lean
of 11 versions of TensorLib
1-11Sort by
Date
f4f5171
f4f5171
ff31809
fbaa25b
38a71e6
51e2d57
6e09abb
v0.0.5v4.18.06b1a89a
v0.0.4v4.17.096c0275
v0.0.2v4.16.096c0275
v0.0.3v4.16.081f5c85
f4f5171
f4f5171
ff31809
fbaa25b
38a71e6
51e2d57
6e09abb
6b1a89a
96c0275
96c0275
81f5c85