所有文章 - 采石场

2026

翻译-a Few Constructions on Constructors 10-22

翻译-Type Theory of Lean 10-21

翻译-DaoFP-教材01-Clean Slate 09-21

翻译-Lean Language Reference-10-类 09-16

翻译-Lean Language Reference-09-属性 09-13

翻译-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

翻译-FPIL-02-Hello, World! 05-31

翻译-FPIL-01-了解 Lean 05-30

翻译-TPIL-05-策略 01-14

2025

翻译-Introduction À La Logique-教材01 12-08

翻译-TPIL-04-量词与等号关系 11-26

翻译-TPIL-03-命题与证明 11-15

翻译-TPIL-02-依值类型论 11-12

翻译-TPIL-01-简介 11-12

翻译-EOPL-教材02-数据抽象 04-02

翻译-EOPL-教材01-递归的数据集 04-02