adding my solutions for some of first chapters in software foundation books
removing html files
Merge https://github.com/deyaaeldeen/coq-playground