亚马逊为Lean形式化验证研究组织提供长期资金支持

亚马逊宣布向Lean专注研究组织（FRO）提供长期资金支持，推动Lean编程语言发展。Lean可对软件正确性进行数学级别的形式化证明。亚马逊已在多款产品中应用Lean验证技术，包括Bedrock AgentCore的智能...