LeanLLM: An LLM SDK for applications written in Lean 4

LeanLLM is an LLM SDK for Lean 4 applications that lets developers plug in language models with minimal ML expertise. To adopt, add the dependency, configure yo