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

Xet Pointer Details

( Raw pointer file )
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.