lean-dojo/LeanCopilot

lean-dojo/LeanCopilot: open-source проект в категориях AI/ML, Database, Education. Практическое применение: prototype AI features; build RAG or agent workflows.