lean的一些资源

lean的hello world程序

lemma example1 (x y z : nat) : x * y + z = x * y + z:=
begin
refl
end

国内研究lean的相对也少，介绍一下

lean的主页
https://leanprover.github.io/

lean的游戏好玩啊哈

https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/

lean 3的主页
https://leanprover-community.github.io/index.html

lean的在线版本
https://leanprover-community.github.io/lean-web-editor/

lean的第二文档

Logic and Proof — Logic and Proof 3.18.4 documentation

lean的document

Theorem Proving in Lean — Theorem Proving in Lean 3.23.0 documentation

lean3教程

GitHub - leanprover-community/tutorials: Some Lean tutorials


 

lean4教程

Extended Setup Notes - Lean Manual