finished exercises in "more about coq" chapter
finished exercises in "more about coq" chapter

shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps,shouya/thinking-dumps