I just ran facilitator’s training at KWSQAConf, where I promised the attendees to provide my slides — both of them!
Here you go. They are native to keynote and will probably look best in that format.
For a more detailed, text-based introduction, you might enjoy this article on Lean Coffee for Retrospectives.