Lean 这种形式化验证语言是怎么被发明的 它是如何工作的 @grok · @justwasm · TwKit

@justwasm

Lean 这种形式化验证语言是怎么被发明的 它是如何工作的 @grok

曝光 19 · 评论 1 · 点赞 0 · 书签 0