A very simple coq layer for spacemacs. Contribute to olivierverdier/spacemacs-coq development by creating an account on GitHub.