← 返回事件持续讨论科技A Critical Look at Lean4Lean4A Critical Look发生了什么摘要按规则整理自下方来源原文为什么在扩散仅讨论只有社区在讨论（1 条），还没有来源证实来源社区讨论A Critical Look at Lean4HHacker News13 小时前
