This module adds coq support, powered by Proof General.
- Code completion (company-coq)
- Snippets
This module has no dedicated maintainers. Become a maintainer?
This module has no flags.
- doom-package:proof-general
- doom-package:company-coq
- Replaces coq-mode abbrevs with yasnippet snippets from doom’s snippet library
This module does not have a changelog yet.
- Enable this module in your
doom!block. - To use the completion features of company-coq you need to enable
(:completion company) - Make sure you have Coq installed and that the
coqtopcommand is available. This comes with a standard installation of Coq. You can use your linux distribution’s Coq package or one of the methods given on the Coq website.
This module has no usage documentation yet. Write some?
This module provides no additional configuration over that of the Packages it loads
See related github issues There are no known problems with this module. Report one?
This module has no FAQs yet. Ask one?
This module has no appendix yet. Write one?