数学形式化 | Lean4Game 教程

嗯..! 目前共计 16 篇日志。 继续努力。

2024

06-04

数学形式化 | Lean4Game 教程

2023

11-27

NeurIPS 论文粗读

11-14

Lean & GPT | 构建自己的 GPT

11-13

Lean 4 安装教程

11-12

华罗庚诞辰 113 周年

10-28

Hello World!