X (Twitter)

Cargando el detalle del hilo

Obteniendo los tweets originales de X para ofrecer una lectura limpia.

Esto suele tardar solo unos segundos.

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