Category: lean | Fenglielie

Category - lean

2026

Lean 学习笔记——7. 线性代数基础

2026-08-04

Lean 学习笔记——7. 线性代数基础

Lean 学习笔记——6. 集合、离散数学与代数自动化

2026-08-04

Lean 学习笔记——6. 集合、离散数学与代数自动化

Lean 学习笔记——5. 命题逻辑、证明项与等式推理

2026-08-04

Lean 学习笔记——5. 命题逻辑、证明项与等式推理

Lean 学习笔记——4. 模块、类型类、Monad 与 IO

2026-08-04

Lean 学习笔记——4. 模块、类型类、Monad 与 IO

Lean 学习笔记——3. 代数数据类型、递归与容器

2026-08-04

Lean 学习笔记——3. 代数数据类型、递归与容器

Lean 学习笔记——2. 语言基础、函数与类型系统

2026-08-04

Lean 学习笔记——2. 语言基础、函数与类型系统

Lean 学习笔记——1. 语言概述与思维转换

2026-08-04

Lean 学习笔记——1. 语言概述与思维转换

Lean 安装与环境配置

2026-07-15

Lean 安装与环境配置

Loading Database