1decc38237
Some were missing PR references, others had incorrect values for SINCE and CREATED attributes. Also corrects the capitalization in some SUBTITLEs.
57 lines
1.9 KiB
Org Mode
57 lines
1.9 KiB
Org Mode
← [[doom-module-index:][Back to module index]] ↙ [[doom-module-issues:::lang coq][Issues]] ↖ [[doom-module-source:lang/coq][Source]] ± [[doom-suggest-edit:][Suggest edits]] ? [[doom-help-modules:][Help]]
|
|
--------------------------------------------------------------------------------
|
|
#+TITLE: :lang coq
|
|
#+SUBTITLE: Proofs as programs
|
|
#+CREATED: August 14, 2018
|
|
#+SINCE: 21.12.0 (#804)
|
|
|
|
* Description :unfold:
|
|
This module adds [[https://coq.inria.fr][coq]] support, powered by [[https://proofgeneral.github.io][Proof General]].
|
|
|
|
- Code completion ([[https://github.com/cpitclaudel/company-coq][company-coq]])
|
|
- [[https://github.com/hlissner/doom-snippets/tree/master/coq-mode][Snippets]]
|
|
|
|
** Maintainers
|
|
/This module has no dedicated maintainers./ [[doom-contrib-maintainer:][Become a maintainer?]]
|
|
|
|
** Module flags
|
|
/This module has no flags./
|
|
|
|
** Packages
|
|
- [[doom-package:][proof-general]]
|
|
- [[doom-package:][company-coq]]
|
|
|
|
** Hacks
|
|
/No hacks documented for this module./
|
|
|
|
** TODO Changelog
|
|
# This section will be machine generated. Don't edit it by hand.
|
|
/This module does not have a changelog yet./
|
|
|
|
* TODO Installation
|
|
[[id:01cffea4-3329-45e2-a892-95a384ab2338][Enable this module in your ~doom!~ block.]]
|
|
|
|
#+begin_quote
|
|
🔨 /This module's prerequisites are not documented./ [[doom-contrib-module:][Document them?]]
|
|
#+end_quote
|
|
|
|
* TODO Usage
|
|
#+begin_quote
|
|
🔨 This module has no usage documentation yet. [[doom-contrib-module:][Write some?]]
|
|
#+end_quote
|
|
|
|
* TODO Configuration
|
|
#+begin_quote
|
|
🔨 This module has no configuration documentation yet. [[doom-contrib-module:][Write some?]]
|
|
#+end_quote
|
|
|
|
* Troubleshooting
|
|
/There are no known problems with this module./ [[doom-report:][Report one?]]
|
|
|
|
* Frequently asked questions
|
|
/This module has no FAQs yet./ [[doom-suggest-faq:][Ask one?]]
|
|
|
|
* TODO Appendix
|
|
#+begin_quote
|
|
🔨 This module has no appendix yet. [[doom-contrib-module:][Write one?]]
|
|
#+end_quote
|