I woke up to a better world than the one I fell asleep in.
An interactive Lean 4 blog post — click through for the full experience.