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 @Jose_A_Alonso: Candle: A verified implementation of HOL Light. ~… | Thread Easy