Add Tensor type

Multi-dimensional arrays
leanprover · Jan 2, 2025 · b540b3d · b540b3d
1 parent 6b6c404
commit b540b3d
Show file tree

Hide file tree

Showing 2 changed files with 496 additions and 0 deletions.
diff --git a/TensorLib/Basic.lean b/TensorLib/Basic.lean
@@ -9,3 +9,4 @@ import TensorLib.Dtype
 import TensorLib.Npy
 import TensorLib.Broadcast
 import TensorLib.Slice
+import TensorLib.Tensor