lean-language

Pramaana Labs 获得了由 Khosla Ventures 领投的 2700 万美元种子轮融资，旨在应用形式化验证（使用 LEAN 编程语言）来提高在诸如法律、药物发现和税务准备等高风险领域中的 AI 可靠性。