中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
File:Lean logo2.svg
来自维基百科,自由的百科全书
Found in articles
File:Lean logo2.svg
Description
Lean
logo2
.
svg
Русский:
Lean
logo Date 2014 Source https://leanprover.github.io/ Author
Lean