react-syntax-highlighter/dist/esm/languages/hljs/coq.js

syntax highlighting component for react with prismjs or highlightjs ast using inline styles

import coq from "highlight.js/lib/languages/coq";
export default coq;