Agda library for formalizing knights & knaves puzzles