RT @atheorist : Même dans le domaine de la démonstration automatique de théorèmes (ATP), mes délais sont considérés comme rapides. Je pense qu'un problème du millénaire…
Chargement du thread
Récupération des tweets originaux depuis X pour offrir une lecture épurée.
Cela ne prend généralement que quelques secondes.