wip-lean-embeddings / mathlib_premises_416.tar.gz

Upload mathlib_premises_416.tar.gz with huggingface_hub

fd07a54 verified about 1 year ago

87.2 MB

This file is stored with Xet . It is too big to display, but you can still download it.

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