The language Coq has been renamed into Rocq by its community#4357

Mbodin wants to merge 2 commits intohighlightjs:mainhighlightjs/highlight.js:mainfrom

Mbodin:mainMbodin/highlight.js:mainCopy head branch name to clipboard