Posts on the Lean FRO

• Lean FRO Year 1 in Review
  Leonardo de MouraSebastian UllrichCorinna Calhoun

  2024-08-13

  • Posts on the Lean FRO

  As we reflect on the first year of the Lean FRO, we're proud to share our progress, challenges, and the foundational steps we've taken to ensure Lean's continued success and impact across diverse fields, including mathematics, software verification, and AI.

  Read more