Download source/paper-source.tar from ProCreations/repro-formal-problem-solving-framework-benchmark: direct link, hf CLI and curl.
- Browser
- Download file 631 kB
-
https://huggingface.co/spaces/ProCreations/repro-formal-problem-solving-framework-benchmark/resolve/main/source/paper-source.tar
- Command line
-
hf download hf://spaces/ProCreations/repro-formal-problem-solving-framework-benchmark/source/paper-source.tar
-
curl -L -o paper-source.tar https://huggingface.co/spaces/ProCreations/repro-formal-problem-solving-framework-benchmark/resolve/main/source/paper-source.tar
631 kB
- Xet hash:
- c13fdb59ff124c1aeebc1208bae343bb2754e51d3dab94f91b63c3b4203ad606
- Size of remote file:
- 631 kB
- SHA256:
- b08c84c35b90d0128fc6ff512b60b07ead29ef6de847c8834948df660b00034a
·
Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.