X (Twitter)

Carregando detalhes do thread

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

Isso normalmente leva apenas alguns segundos.

Carina Hong (@CarinaLHong): RT @atheorist: Even within the ATP (Automated Theorem Proving) space,… | Thread Easy