X (Twitter)

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.

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