Add Number Theory
++Coq
new vim ressource
Fix typo
Merge pull request #430 from corburn/master

Add Number Theory
Merge pull request #431 from pirapira/master

++Coq
Merge pull request #432 from maieul/master

new vim ressource
Merge pull request #433 from jbochi/patch-1

Fix typo