Npy file support

NumPy uses a custom binary format to store ndarrays. This file implements that format.
leanprover · Jan 2, 2025 · 995b677 · 995b677
1 parent 604a591
commit 995b677
Show file tree

Hide file tree

Showing 2 changed files with 398 additions and 0 deletions.
diff --git a/TensorLib/Basic.lean b/TensorLib/Basic.lean
@@ -6,3 +6,4 @@ Authors: Jean-Baptiste Tristan, Paul Govereau, Sean McLaughlin
 
 import TensorLib.Common
 import TensorLib.Dtype
+import TensorLib.Npy
Original file line number	Diff line number	Diff line change
Expand Up		@@ -6,3 +6,4 @@ Authors: Jean-Baptiste Tristan, Paul Govereau, Sean McLaughlin

		import TensorLib.Common
		import TensorLib.Dtype
		import TensorLib.Npy