Puzzles stated in Coq

(Note: Some of the solutions are not (yet) formulated or verified in Coq)