Tag: Lean | Fenglielie

Tag - Lean

2026

用 Python 模拟 Lean 定理证明

2026-08-07

用 Python 模拟 Lean 定理证明

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-08-01

一道高考压轴数学题的 Lean 形式化证明

Lean 安装与环境配置

2026-07-15

Lean 安装与环境配置

Loading Database