X (Twitter)

스레드를 불러오는 중

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

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

James Torre (@jpt401): RT @ElliotGlazer: Most of the results bounding the strength of Agda a… | Thread Easy