export default {
  "name": "Rocq Prover",
  "type": "programming",
  "color": "#d0b68c",
  "extensions": [
    ".v",
    ".coq"
  ],
  "aliases": [
    "coq",
    "rocq"
  ],
  "tmScope": "source.coq",
  "aceMode": "text",
  "languageId": 69
}
