X (Twitter)

스레드를 불러오는 중

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

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

James Torre (@jpt401): RT @ElliotGlazer: As mentioned here, Rocq and Lean are based on CIC,… | Thread Easy