Hugging Face's logo

hanwenzhu
/
wip-lean-embeddings

Model card Files
xet
 Community
wip-lean-embeddings / mathlib_premises_415.tar.gz
hanwenzhu's picture
hanwenzhu
Upload mathlib_premises_415.tar.gz with huggingface_hub
830c99d verified
download
history blame contribute delete
83.1 MB
This file is stored with Xet . It is too big to display, but you can still download it.

Xet Pointer Details

( Raw pointer file )
Xet hash:
61c29b73a9f6514600d1a63a50a6d223466df444d69f5fe5b8ba6a84189a530e
Size of remote file:
83.1 MB
·
SHA256:
d059ad4fa8b6d8d52adc32d12b26f7c0f4ddea19432ca4ec174c413a93028497

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