End of training

86112b8 verified 2 months ago

5.43 kB

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

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

yalhessi
/

lemexp-afp-small-thms-deepseek-coder-1.3b-base

SHA256: b479fe1ba21f33b0b5e546f065f753fb4c3b393f01a78db43f67de7f31aa319d
Pointer size: 129 Bytes
Size of remote file: 5.43 kB