Lean 创始人访谈全记录：当形式化验证遇上 AI，手写数学与软件验证将如何被重塑 dev.to· rss · ▲ 0 points · Aug 15, 2026 DEV Community Lean 创始人访谈全记录：当形式化验证遇上 AI，手写数学与软件验证将如何被重塑 https://www.youtube.com/watch?v=KzdYKeAqWhY 题目：《Lean 创始人访谈全记录：当形式化验证遇上...
0 comments
No comments yet.