Spaces:

dx2102

/

search-mathlib

like 2

Running

Git LFS Details

• SHA256: ec39405cd29f0cdb25dde5079567825ca9e40f07cde8772056282272cb38ef33
• Pointer size: 133 Bytes
• Size of remote file: 99.3 MB

Git Large File Storage (LFS) replaces large files with text pointers inside Git, while storing the file contents on a remote server. More info.