pkuAI4M
/

mathlib_formal_v4.24.0

Model card Files Files and versions

mathlib_formal_v4.24.0 / mathlib424.sql

tonyxty's picture

Upload mathlib424.sql with huggingface_hub

c93e9e0 verified 8 months ago

History Blame Contribute Delete

1.07 GB

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:: 174c2a6c96598e81ac7c0af6fd43fbc83d7e87d293007b29e1eecd11ca5071b7
Size of remote file:: 1.07 GB
SHA256:: 8de24c660c084165db76b4e60dca7a5cb197d59031c19c5a60acbc46a3447042

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