项目

Lichtung

2026/08/29 310 字 1 分钟

Rethlas

2026/08/29 409 字 1 分钟

Suckless

2026/08/29 296 字 1 分钟

pi-board

2026/08/20 241 字 1 分钟

Lean4 for Toric

93 字 1 分钟

学习Lean4的过程中，尝试用Lean4来做Toric几何的计算。