Lean 4

共 1 篇帖子 返回首页

#Lean 4 相关帖子

Collatz猜想被AI“证明”了，但真相是个Lean 4的Bug

PromptCube 高级 ·行业动态 · 416 · 3 · 5 ·2小时前