There are way too many of them. My class is using 4 to teach the introduction to the subject.
An interactive Lean 4 blog post — click through for the full experience.