张睿杰 在 @知乎 回答了问题：如何看待Lean 4语言从定理证明向通用编程语言的转变？ 👉 http://t.cn/AXIku6By （想看更多？下载 @知乎 App：http://t.cn/RJLzomS ）
发布于 上海
张新杰_久章智能
张睿杰 在 @知乎 回答了问题：如何看待Lean 4语言从定理证明向通用编程语言的转变？ 👉 http://t.cn/AXIku6By （想看更多？下载 @知乎 App：http://t.cn/RJLzomS ）