Solving puzzles with Lean
Thu, 2025-07-17 at 19:30
Kammerstraat 10, Gent (Belgium)
Solve logical puzzles with the Lean theorem prover.
Contents
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 Heinrich Heine University Düsseldorf.
Target audience
This workshop is suitable for everyone who:
- is not afraid of theorem proving,
- knows at least one programming language,
- loves mathematical or logical puzzles.
You can prepare by reading the Mathematics in Lean book.
Price
The workshop and presentation itself is free.
Use the link to the Signal chat if you want to join dinner around Vrijdagmarkt before the workshop (optional).
How to find us
Previously, there was a workshop right at the entrance. This time we got another room in the back, called Balkonzaal. Not sure yet, but it might be the first floor.
You can find details about the room at Balkonzaal.