Spaces:

Ray5th
/

Lean4-helper

Running

App Files Files Community

Lean4-helper / data /mathlib_index /index.pkl

p4r5kpftnp-cmd

Swap MiniLM retriever for LeanDojo's ByT5 premise encoder

d05440d about 1 month ago

History Blame Contribute Delete

59.7 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:: b09ee3bc9cca0e24f2cfa3ae0fe44f051b2ecbde21d2a17cd701cb92bb48e658
Size of remote file:: 59.7 MB
SHA256:: 2a23552e90e2b4583afb4455a1dcafb9c5f2d86dc5ddd9c6f69fa650a8a2ce8b

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