RandomModels / IsabelleV2.zip
Xhepyxopila's picture
Upload IsabelleV2.zip
5cc3b0c
This file is stored with Xet . It is too big to display, but you can still download it.

Large File Pointer Details

( Raw pointer file )
SHA256:
299c5f3a5e081142dabade7b5abaee682bcbeab769cbfad9b91bc485b827f7fc
Pointer size:
133 Bytes
·
Size of remote file:
80.7 MB
·
Xet hash:
86f130d96bfca6206cfe7a74fb36394578fb608e6b4af44fa1f00b77b771184e

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