coqtop-vim 入れた

それとcoq用のdictファイル