TensorLib
A verified tensor library in Lean
of 14 versions of TensorLib
1-14Sort by
Date
5d46030
v4.20.056.5 MBe4bd2c3
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