正在加载线程详情
正在从 X 获取原始推文,整理成清爽的阅读视图。
通常只需几秒钟,请稍候。
共 1 条推文 · 2025年12月21日 04:55
RT @ElliotGlazer:正如这里提到的,Rocq 和 Lean 都是基于 CIC 的,CIC 已知远高于策梅洛集合论,但目前尚不清楚……