Download IsabelleV2.zip from Xhepyxopila/RandomModels: direct link, hf CLI and curl.
- Browser
- Download file 80.7 MB
-
https://huggingface.co/Xhepyxopila/RandomModels/resolve/main/IsabelleV2.zip
- Command line
-
hf download hf://Xhepyxopila/RandomModels/IsabelleV2.zip
-
curl -L -o IsabelleV2.zip https://huggingface.co/Xhepyxopila/RandomModels/resolve/main/IsabelleV2.zip
80.7 MB
- Xet hash:
- 86f130d96bfca6206cfe7a74fb36394578fb608e6b4af44fa1f00b77b771184e
- Size of remote file:
- 80.7 MB
- SHA256:
- 299c5f3a5e081142dabade7b5abaee682bcbeab769cbfad9b91bc485b827f7fc
·
Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.