A kernel run on the Navier-Stokes blowup Lean project

  • 情报分类：技术价值
  • 命中依据：Navier-Stokes形式化验证与内核结合，技术性话题
  • 来源：Hacker News 新项目
  • 原作者：ravanova
  • 发布时间：2026/9/11 13:31:00