TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

Open in new window