Lean4 教程一 ｜ 基础安装

还行! 目前共计 34 篇日志。 继续努力。

2023

11-13

Lean4 教程一 ｜ 基础安装

11-12

华罗庚诞辰 113 周年

11-11

数独探秘 | 藏在九宫格下的数学天地

10-28

Hello World!