X (Twitter)

スレッドを読み込み中

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

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

Carina Hong (@CarinaLHong): Following AxiomProver working super hard in real time is the most fun… | Thread Easy