阅读-Lean4-Lean Language Reference ⁵

2026

翻译-Lean Language Reference-05-源文件与模块 09-07

翻译-Lean Language Reference-06-命名空间和区段 08-22

翻译-Lean Language Reference-07-常量声明 07-12

翻译-Lean Language Reference-13-项 06-16

翻译-Lean Language Reference-04-类型系统 06-16