Amazon 向 Lean 形式化验证组织 FRO 提供史上最大一笔捐款
Amazon is investing in the Lean Focused Research Organization
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
Amazon 宣布向开发 Lean 编程语言的 Lean Focused Research Organization 提供大额长期资金支持，这是 FRO 历史上最大的一笔捐款。
来源：Amazon Science · amazon.science