tomtomjhj/spacemacs-coq

A very simple coq layer for spacemacs

Emacs Lisp