Skip to content
Oopus Blog
Log in
Lean first training
Written by
oopus
in
computer science
,
maths
20260921-20261012
Lean
形式化證明的第一個訓練完成，yeah~
https://adam.math.hhu.de
/
←
因聲求義: 爾雅
More posts
Lean first training
October 12, 2026
因聲求義: 爾雅
September 28, 2026
面向自身的产品
September 5, 2026
“连不上”不一定是“被墙”：Xray 升级后，旧客户端内核握不上 REALITY
June 27, 2026
