languages/coq library

Functions

coq(Highlight hljs) → Mode
Highlight.js language definition for coq.