Software Foundations Coq Solutions