Coq snippets for the YASnippet emacs plugin.
The code is released under the MIT license so feel free to use and modify whatever you may find of interest in this project.
Pull requests are more than welcome.
In order to use these snippets you need: Emacs, YASnippet and Coq mode. Having these components installed, all you have to do is copy the snippets folder into your yas root library and rename it to coq-mode.