Hugging Face's logo

SJTULean
/
LeanFormalizer_Reward

English
Model card Files
xet
Community
wxz123 commited on
Commit
8919b5c
·
verified ·
1 Parent(s): 97ff06b

Delete README.md

Browse files
Files changed (1) hide show
  1. README.md +0 -3
README.md DELETED
@@ -1,3 +0,0 @@
1
- ---
2
- license: apache-2.0
3
- ---