Lean创始人访谈：Handwritten Math Will Change Dramatically dev.to· rss · ▲ 0 points · Aug 15, 2026 DEV Community Lean创始人访谈：Handwritten Math Will Change Dramatically https://www.youtube.com/watch?v=KzdYKeAqWhY 题目：《Lean 创始人访谈全记录：当形式化验证遇上...
0 comments
No comments yet.