Category: code | Fenglielie

Category - code

2026

用 Python 模拟 Lean 定理证明

2026-08-07

用 Python 模拟 Lean 定理证明

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

2026-08-05

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

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

2026-08-01

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

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

2026-08-01

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

microgpt.py 源码学习

2026-03-01

microgpt.py 源码学习

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

2026-02-17

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

矩阵链乘法问题

2026-02-17

矩阵链乘法问题

Vibe coding 实现简单网页和游戏

2026-01-17

Vibe coding 实现简单网页和游戏

LLM 代码练习——MCP demo

2026-01-17

LLM 代码练习——MCP demo

LLM 代码练习——API 代理

2026-01-17

LLM 代码练习——API 代理

Loading Database