产品
NanoLean
由软件工程师Steven Dio开发的轻量级Lean代码检查器，用于验证已有Lean形式化证明代码的正确性，具有极高的检查速度
时间轴 (近 90 天)
10月11日
软件工程师Steven Dio开发了名为NanoLean的Lean检查器，用于检查已有Lean代码是否正确
待验证50%
10月11日
NanoLean检查Mathlib约用11.85秒，验证OpenAI的Navier-Stokes形式化用17.13秒，验证Kepler猜想相关内容仅3.66秒，相关代码已开源在GitHub
待验证50%