Folktale Knights and Knaves logic puzzles formalized in Lean 4. See the puzzles directory for examples.