一个博客

03-31

同构1.4

03-28

部署astrbot

03-26

美少女万华镜15周年原声集Get！

12-19

不使用经典逻辑证明¬(p ↔ ¬p)

12-18

记录lean4德摩根定律证明

11-29

破解兽音（部分）

11-24

C++用模板封装多维数组

11-21

C++优雅的生成质数表

11-20

回坑预告

10-03

lean4证明欧几里得算法