My answers to the exercises in the book "Software Foundations" by Pierce, Yorgey, et. al, about the Coq interactive proof assistant.