/spacemacs-coq

A simple spacemacs layer for Coq including Company-Coq and Proof General

Primary LanguageEmacs Lisp

No issues in this repository yet.