Archives | Fenglielie

All Articles - 243

2026

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

2026-08-04

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

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

2026-08-01

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

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

2026-08-01

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

Minecraft Java 版笔记

2026-07-27

Minecraft Java 版笔记

Lean 安装与环境配置

2026-07-15

Lean 安装与环境配置

Rust 安装与环境配置

2026-07-15

Rust 安装与环境配置

LLM 学习笔记——模型与 Agent 基础知识

2026-03-02

LLM 学习笔记——模型与 Agent 基础知识

纯 Python 实现深度学习代码

2026-03-01

纯 Python 实现深度学习代码

LLM 代码练习——使用大模型绘图

2026-02-17

LLM 代码练习——使用大模型绘图

矩阵链乘法问题

2026-02-17

矩阵链乘法问题

Loading Database