GitHub repository: tchajed/spacemacs-coq
Primary language: Emacs Lisp
Description: A Coq layer for Spacemacs