X (Twitter)

正在載入線程內容

正在從 X 取得原始推文，整理成清爽的閱讀畫面。

通常只需幾秒鐘，請稍候。

Carina Hong (@CarinaLHong): RT @yanda: @HarmonicMath @leanprover @namrata_anand2 Axiom solved 8/1… | Thread Easy