Download optimizer.pt from amitayusht/ProofWala-Lean: direct link, hf CLI and curl.
- Browser
- Download file 1.78 GB
-
https://huggingface.co/amitayusht/ProofWala-Lean/resolve/main/optimizer.pt
- Command line
-
hf download hf://amitayusht/ProofWala-Lean/optimizer.pt
-
curl -L -o optimizer.pt https://huggingface.co/amitayusht/ProofWala-Lean/resolve/main/optimizer.pt
1.78 GB
- Xet hash:
- 13a29f6e09b6bca378acc2b8b705fa08120ba532bff35f3218fbf2dd18ae4b71
- Size of remote file:
- 1.78 GB
- SHA256:
- 3dd9b56c9b26d84870ee7f620432b19c6a160c0999de53490f77e2dcd991ffcd
·
Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.