A collection of logic puzzles solved with Lean.
Primary LanguageLean
This aims to be a collection of logic puzzles solved with the Lean theorem prover.