4 lines
224 B
Org Mode
4 lines
224 B
Org Mode
|
#+TITLE: :lang coq
|
||
|
|
|
||
|
|
This module adds [[https://coq.inria.fr][coq]] support, powered by [[https://proofgeneral.github.io][Proof General]], with code completion via [[https://github.com/cpitclaudel/company-coq][company-coq]].
|