Hugging Face's logo

amitayusht
/
ProofWala-Lean

Text Generation
PyTorch
t5
code
mathematics
theorem-proving
text2text-generation
Model card Files Community
1
amitayusht commited on
Commit
e1d28a1
·
verified ·
1 Parent(s): a1abe68

Added license

Browse files
Files changed (1) hide show
  1. README +3 -0
README ADDED
@@ -0,0 +1,3 @@
 
 
 
 
1
+ ---
2
+ license: mit
3
+ ---