归档

2024

12-07 Lean4-1 —— Lean4 的基本使用

11-29 Lean4-0 —— Lean4 的安装

10-08 一个素数拆分成特定形式平方和的例子