ProofWala-Coq / optimizer.pt
amitayusht's picture
Upload folder using huggingface_hub
2c6bbd1 verified
download
history blame contribute delete
1.78 GB
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:
e8637ff48943e5341d32055b2d4c4eee18fb02ea8aea1b18cb9088abb9d514b5
Pointer size:
135 Bytes
·
Size of remote file:
1.78 GB
·
Xet hash:
cc186b7a6a12b604c0b0978a39b907b8403e5639e4834db2b3c57d17a9f0e962

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