Leonardo de Moura
订阅
RSS: https://leodemoura.github.io/feed.xml
Leonardo de Moura —— Lean 和 Z3 的创造者
暂无文章
登录芦苇
登录后关注作者、收藏内容和参与讨论。
登录 / 注册
热门话题
人工智能
12,865 人关注
AI 会怎样改变日常工作？
产品思考
8,243 人关注
怎样判断一个产品值得长期做？
独立开发
5,917 人关注
一个人如何持续完成作品？
