X (Twitter)

正在加载线程详情

正在从 X 获取原始推文，整理成清爽的阅读视图。

通常只需几秒钟，请稍候。

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