Archives | Fenglielie

All Articles - 239

2026

用 Python 模拟 Lean 定理证明

2026-08-07

用 Python 模拟 Lean 定理证明

牛顿分形：用求根公式划分复平面

2026-08-05

牛顿分形：用求根公式划分复平面

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. 语言概述与思维转换

LaTeX 编译引擎跨平台基准测试

2026-08-01

LaTeX 编译引擎跨平台基准测试

Loading Database