RT @ElliotGlazer: Agdaと建設的MLTTの強度を限定する結果のほとんどは、Michael Rathjenによるものです。https://t.co/tOM3z… をご覧ください。
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
James Torre（@jpt401）のスレッド
1 件のツイート · 2025/12/21 4:55
作者情報
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
1 件のツイート · 2025/12/21 4:55
RT @ElliotGlazer: Agdaと建設的MLTTの強度を限定する結果のほとんどは、Michael Rathjenによるものです。https://t.co/tOM3z… をご覧ください。