“The Lean programming language has transformed mathematics by moving it from chalkboards to software development environments like VS Code and platforms like GitHub, enabling large-scale collaborative projects.”