Add library name and pipeline tag

#1
by nielsr HF Staff - opened

This PR adds the missing library_name and pipeline_tag to the model card metadata. The library_name is set to transformers because the model uses the transformers library. The pipeline_tag is set to text-generation because the model generates text (Lean code).

kfdong changed pull request status to merged

Sign up or log in to comment