ProofWala-Coq / pytorch_model.bin
amitayusht's picture
Upload folder using huggingface_hub
2c6bbd1 verified
download
history blame contribute delete
892 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:
2150379fb131013ba20d8d4a9756806b39eb4fa2ad2a009d12e52f29f913c43f
Size of remote file:
892 MB
·
SHA256:
d50dd9c544d50156e435fa766de19c6c706ba637ecb2b00be9bc0cee7712b412

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