search-mathlib / embed_arr.npy
dx2102's picture
Upload 3 files
e8eca0b verified
This file is stored with Xet . It is too big to display, but you can still download it.

Large File Pointer Details

( Raw pointer file )
SHA256:
6b370e9bfaa79c0bd4f7204ef4a2eb6889404726b0c71244a9aabf1888c648d4
Pointer size:
135 Bytes
·
Size of remote file:
2.29 GB
·
Xet hash:
72cb0514c51a3fef007182757a8360e638d5cbc19db562a86efd51278b1435a1

Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.