Code

Support external models#122

Code

Merged

Peiyang-Song merged 3 commits intomainlean-dojo/LeanCopilot:mainfrom externallean-dojo/LeanCopilot:externalCopy head branch name to clipboardSep 1, 2024

+522-4

Commits

Commits on Sep 1, 2024

• Support external models with vllm huggingface openai gemini and claude (#97)

  Show description for b7e199e
  

  hsz0403

  authored and

  Peiyang-Song

  committed
  b7e199e

• chores: large scale cleanup for the external model support

  Peiyang-Song

  committed
  157e158

• Format python code with black and add contribution instructions to readme

  Peiyang-Song

  committed
  30a70c0