RT @ElliotGlazer: ここで述べたように、Rocq と Lean は CIC に基づいています。これは Zermelo 集合論より優れていることが知られていますが、…
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
James Torre（@jpt401）のスレッド
1 件のツイート · 2025/12/21 4:55
作者情報
スレッドを読み込み中
X から元のツイートを取得し、読みやすいビューを準備しています。
通常は数秒で完了しますので、お待ちください。
1 件のツイート · 2025/12/21 4:55
RT @ElliotGlazer: ここで述べたように、Rocq と Lean は CIC に基づいています。これは Zermelo 集合論より優れていることが知られていますが、…