Spaces:

dx2102

/

lean-expr-tree

like 1

Sleeping

Git LFS Details

• SHA256: 56f74fbb8a799a31a063026d0911accb6ddcbb2416e7d4850428e3e371286987
• Pointer size: 135 Bytes
• Size of remote file: 1.87 GB

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