X (Twitter)

스레드를 불러오는 중

깔끔한 읽기 화면을 위해 X에서 원본 트윗을 가져오고 있어요.

보통 몇 초면 완료되니 잠시만 기다려 주세요.

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