TensorLib
A verified tensor library in Lean
of 18 versions of TensorLib
1-18Sort by
Date
d8137a4
v0.0.16v4.23.059.8 MBd8137a4
v0.0.16v4.23.059.8 MBd8137a4
v4.23.0v4.23.059.8 MBe75c008
v0.0.15v4.22.051.8 MB870693c
v0.0.14v4.22.0e4bd2c3
v0.0.13v4.20.056.5 MB9880950
v0.0.12v4.20.056.5 MB82f891d
v0.0.11v4.20.056.5 MBf4f5171
v0.0.10v4.19.053.7 MBff31809
v0.0.9v4.19.053.6 MBfbaa25b
v0.0.8v4.19.053.6 MB38a71e6
v0.0.7v4.19.053.6 MB51e2d57
v0.0.6v4.19.053.5 MB6e09abb
v0.0.5v4.18.06b1a89a
v0.0.4v4.17.096c0275
v0.0.2v4.16.096c0275
v0.0.3v4.16.081f5c85
v0.0.1v4.16.0