X (Twitter)

スレッドを読み込み中

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

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

Carina Hong (@CarinaLHong): RT @atheorist: Even within the ATP (Automated Theorem Proving) space,… | Thread Easy