RT @QuanquanGu: Imagine um Cursor para demonstração de teoremas: ramificações para ideias, PRs para demonstrações, revisões para rigor. Esse é o futuro da teoria…
Carregando detalhes do thread
Buscando os tweets originais no X para montar uma leitura limpa.
Isso normalmente leva apenas alguns segundos.