不懂数学，不会魔法，不是猫猫
type theory/interactive theorem prover入门中
曾经：some trivial algebraic geometry，（higher）cat theory
ADHD/疑似ASD
学术号@liesbg

ID: 1060114903770353664

calendar_today07-11-2018 10:21:03