本页面是正在写作的lean中文手册，代码源自原手册，正在翻译

This is the repository for Lean 4, which is currently being released as milestone releases towards a first stable release. Lean 3 is still the latest stable release.

About

• Homepage
• Theorem Proving Tutorial
• Manual
• FAQ

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.