Coq

共 1 篇帖子 返回首页

#Coq 相关帖子

AI助力数学证明从“顿悟”向“逻辑穷举”演进，验证器与模型共同构建严谨路径

PromptCube 初级 ·行业动态 · 314 · 3 · 2 ·2026/8/16