Add pipeline tag and library name

This PR ensures the model is visible on the Hugging Face hub when users are looking for a text generation model. It also adds the
`library_name`, ensuring the user can find the "how to use" button on the top right.

README.md

@@ -1,7 +1,10 @@
 ---
 license: mit
+library_name: transformers
+pipeline_tag: text-generation
 ---
 
+```markdown
 <hr>
 <div align="center" style="line-height: 1;">
   <a href="https://goedel-lm.github.io/" target="_blank" style="margin: 2px;">
@@ -128,4 +131,5 @@ We are also releasing 29,7K proofs of the problems in Lean-workbook found by our
       primaryClass={cs.LG},
       url={https://arxiv.org/abs/2502.07640}, 
 }
+```
 ```