mirror of
https://github.com/doomemacs/doomemacs.git
synced 2026-04-07 22:01:22 -07:00
|
…
|
||
|---|---|---|
| .. | ||
| config.el | ||
| packages.el | ||
| README.org | ||
:lang coq
This module adds coq support, powered by Proof General.
- Code completion (company-coq)
- Snippets