X (Twitter)

スレッドを読み込み中

X から元のツイートを取得し、読みやすいビューを準備しています。

通常は数秒で完了しますので、お待ちください。

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