Lean（VS code）

安装

• 在VS code的扩展中搜索“lean4”并安装
• 右上角有个“任意符号”，点击后到“documentation”，之后可以自由选择难度的说明手册

lean社区网址

https://leanprover-community.github.io/index.html

lean介绍

lean是用作编写证明的语言。

• 阅读至2.Definitions 24.1.2