linguist-languages/data/Rocq_20_Prover.js

Linguist languages data

module.exports = {
  name: 'Rocq Prover',
  type: 'programming',
  color: '#d0b68c',
  extensions: ['.v', '.coq'],
  tmScope: 'source.coq',
  aceMode: 'text',
  languageId: 69,
  aliases: ['coq', 'rocq'],
}