Library solution

Require Import Nat problem.

Solution: The Monkey and the Coconuts


Definition answer := pow 5 5 - 4.

Theorem Solution : Puzzle.
answer. repeat (split || reflexivity).
Qed.