這個教程是關於如何用lean4和mathlib4做數學的
https://leanprover.github.io/theorem_proving_in_lean4/
這個教程是lean4語言本身的教程，更偏向對語言機制的介紹，不包含mathlib的使用
作者共发了2篇帖子。
lean4教程
 |
https://leanprover-community.github.io/mathematics_in_lean/
這個教程是關於如何用lean4和mathlib4做數學的 |
