TensorLib
A verified tensor library in Lean
of 13 versions of TensorLib
1-13Sort by
Date
9880950
9880950
82f891d
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