Solving mathematical puzzles with proof-assistant Lean

We will try to solve some interesting logical / mathematical puzzles using the proof assistant Lean.

This workshop is suitable for everyone who:

• is not afraid of mathematics or theorem proving,
• knows at least one functional programming language,
• loves mathematical or logical riddles.

Content of the workshop: GitHub.