lean-dojo/LeanCopilot

lean-dojo/LeanCopilot：lean-dojo/LeanCopilot helps add AI capability without starting from a blank model stack.。适合用于prototype AI features、build RAG or agent work