|
|
||
|---|---|---|
| .. | ||
| autoload.el | ||
| config.el | ||
| packages.el | ||
| README.org | ||
:lang coq
This module adds coq support, powered by Proof General.
- Code completion (company-coq)
- Snippets
|
|
||
|---|---|---|
| .. | ||
| autoload.el | ||
| config.el | ||
| packages.el | ||
| README.org | ||
This module adds coq support, powered by Proof General.