Machacini
/

code-classifiers

Model card Files Files and versions

code-classifiers / isabelle /hf_regressor_10.pth

Machacini's picture

Upload folder using huggingface_hub

cc74168 verified 8 months ago

History Blame Contribute Delete

2.37 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:: 5f6363922898b8b1a46b89b06fd375a5980006750937c07eb30df73eb68dc8d3
Size of remote file:: 2.37 MB
SHA256:: 0a3cde35e2a0a4c587b2d8a6c8bd49576e39cf06902fd320a52adfcb15306076

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