Machacini
/

code-classifiers

Model card Files Files and versions

code-classifiers / isabelle /hf_regressor_1.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:: 8e9d27f4c25c55f6f0cd2869818c3c73dea3dd6cf688ade4b7fa8c73888f8923
Size of remote file:: 2.37 MB
SHA256:: bb160a18a6def031cb857c0544b4641a221264e205d11f58cfb8f24ce36411b0

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