This is the second milestone release of Lean 4. With too many improvements and bug fixes in almost all parts of the system to list, we would like to single out major improvements to simp and other built-in tactics as well as support for a goal view that make the proving experience more comfortable.