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
.