Solving puzzles with Lean

We will try to solve some interesting puzzles using Lean.

You can find some examples of easier, step-wise Lean puzzles in a collection by the Heinrich Heine University Düsseldorf.