Download pytorch_model.bin from amitayusht/ProofWala-Coq: direct link, hf CLI and curl.
- Browser
- Download file 892 MB
-
https://huggingface.co/amitayusht/ProofWala-Coq/resolve/main/pytorch_model.bin
- Command line
-
hf download hf://amitayusht/ProofWala-Coq/pytorch_model.bin
-
curl -L -o pytorch_model.bin https://huggingface.co/amitayusht/ProofWala-Coq/resolve/main/pytorch_model.bin
892 MB
- 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.