solutions to the exercises provided by software foundations coq tutorial