cd/entity/Lean Focused Research Organization· home› entities› Lean Focused Research Organization

grep -l @lean focused research organization /news/*.json | wc -l → 1

Lean Focused Research Organization

mentions 1 type Person feed RSS

// recent coverage 1 mentions

08:00

2026-07-26

amazon.science

artificial-intelligence

Amazon is investing in the Lean Focused Research Organization

Amazon is making the largest single donation in the history of the Lean Focused Research Organization (FRO) to support the development of Lean, a programming language that enables mathematical proofs …

// co-occurs with top 7 entities

Amazon 1 Lean 1 Mathlib 1 Amazon Bedrock AgentCore 1 AWS Clean Rooms 1 AWS Neuron 1 Amazon Aurora 1

// topics top 5 topics

artificial intelligence 1 ai safety 1 ai agents 1 developer tools 1 ai research 1