Hugging Face's logo

Slim205
/
Lean_prover_v1

Safetensors
English
llama
Model card Files
xet
Community
Slim205 commited on
Commit
06ce9b4
·
verified ·
1 Parent(s): 2a041c0

Rename ChatGPT Image Aug 28, 2025 at 03_38_35 PM.png to photo.png

Browse files
Files changed (2) hide show
  1. .gitattributes +1 -0
  2. ChatGPT Image Aug 28, 2025 at 03_38_35 PM.png → photo.png +0 -0
.gitattributes CHANGED
@@ -34,3 +34,4 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
34
  *.zst filter=lfs diff=lfs merge=lfs -text
35
  *tfevents* filter=lfs diff=lfs merge=lfs -text
36
  ChatGPT[[:space:]]Image[[:space:]]Aug[[:space:]]28,[[:space:]]2025[[:space:]]at[[:space:]]03_38_35[[:space:]]PM.png filter=lfs diff=lfs merge=lfs -text
 
 
34
  *.zst filter=lfs diff=lfs merge=lfs -text
35
  *tfevents* filter=lfs diff=lfs merge=lfs -text
36
  ChatGPT[[:space:]]Image[[:space:]]Aug[[:space:]]28,[[:space:]]2025[[:space:]]at[[:space:]]03_38_35[[:space:]]PM.png filter=lfs diff=lfs merge=lfs -text
37
+ photo.png filter=lfs diff=lfs merge=lfs -text
ChatGPT Image Aug 28, 2025 at 03_38_35 PM.png → photo.png RENAMED
File without changes