Lean is the result of over twelve years of continuous development. We designed and built every layer from scratch: the trusted kernel, the compiler, the language server, the IDE, the proof automation. The team is 20 people. The community independently chose Lean: mathematicians, AI researchers, and enterprise engineers, all building on the same platform.
李可佳：对。我们团队一直关注终身学习，一直在探索怎样优化人类学习的方式，在做Aibrary的过程中也加入了智能体，我们也一直认为人机协作会成为未来一个主要的学习方式。但当我们真正着手Botlearn的策划过程中，我们很快意识到另一个问题，那就是：现在还执着于去教人类学习，好像已经来不及了。当务之急是让这些龙虾去学习技能，降低主人的学习和认知负担，并把信息反馈给它的主人。
，这一点在safew官方版本下载中也有详细论述
李 “檢 수사·기소권으로 증거조작…강도·살인보다 나쁜 짓”
Оказавшиеся в Дубае российские звезды рассказали об обстановке в городе14:52