GitHub repository: olivierverdier/spacemacs-coq
Primary language: Emacs Lisp
Created: 2016-01-26T13:45:27Z
Description: A very simple coq layer for spacemacs