X (Twitter)

Carregando detalhes do thread

Buscando os tweets originais no X para montar uma leitura limpa.

Isso normalmente leva apenas alguns segundos.

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