一个博客

12-19

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

12-18

记录lean4德摩根定律证明

11-29

破解兽音（部分）

11-24

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

11-21

C++优雅的生成质数表

11-20

回坑预告

10-03

lean4证明欧几里得算法

10-02

老旧服务器编译安装高版本GCC

09-16

lean4编写gcd

09-15

安装lean4