Posts tagged coq

• Wolf, Goat and Cabbage puzzle, in Coq - 2021-09-09
  • tags: coq ; puzzles ; formal methods