lean-dojo/LeanCopilot

lean-dojo/LeanCopilot: lean-dojo/LeanCopilot helps add AI capability without starting from a blank model stack.. Use it for prototype AI features; build RAG or