[
控场AI
]
知识动态
实体
播客
深度
开发者
关于
Get CLI
EN
人物
Steven Dio
软件工程师，NanoLean工具的开发者，专注于形式化验证领域
时间轴 (近 90 天)
10月11日
软件工程师Steven Dio开发了名为NanoLean的Lean检查器，用于检查已有Lean代码是否正确
待验证
50%
全部知识事实 (1)
待验证
软件工程师Steven Dio开发了名为NanoLean的Lean检查器，用于检查已有Lean代码是否正确
50%
来源文章
OpenAI的Navier-Stokes证明与Lean代码不一致：形式化验证的隐忧
10月11日