X (Twitter)

スレッドを読み込み中

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

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

snwy (@snwy_me): happy third birthday to me trying to write Coq proofs with GPT-3.5 Tu… | Thread Easy