small problem fixes
a new post: 2014-07-05-a-brief-journal-about-learning-coq.markdown
a grammatical error fixed
new post
updated format