X (Twitter)

スレッドを読み込み中

X から元のツイートを取得し、読みやすいビューを準備しています。

通常は数秒で完了しますので、お待ちください。

James Torre (@jpt401): RT @Jose_A_Alonso: Candle: A verified implementation of HOL Light. ~… | Thread Easy