作家被word打的没有饭碗了吗？
lean到底证明了什么数学家没证明出的定理了？
【 在 xeh 的大作中提到: 】
: 独辟蹊径吧  
: 数学家被lean打的快没有饭碗了  
: 所以呢 打不过就加入  
: --

发自「今日水木 on V2454A」
--
FROM 223.104.3.*