“Version 4 of the Lean programming language (Lean 4), released in September 2023, was the first version to support industry-scale engineering.”