rahul3613
/

lean_byt5_aug

theorem-proving

Model card Files Files and versions

lean_byt5_aug / lean_prover_aug.bin

rahul3613's picture

Upload folder using huggingface_hub

6989033 verified 3 days ago

history blame contribute delete

1.2 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:: 53b6959e6ec3fc7a5da319e0120782f7fc329cd26b2f5f43cf446e784a2853bd
Pointer size:: 135 Bytes
Size of remote file:: 1.2 GB
Xet hash:: 180ae9d70a41728b0481c483031f9b1e62ed510e8a48a4333fc9c9b07a7958c7

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