cff287e870
🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>
11 lines
205 B
JavaScript
Executable File
11 lines
205 B
JavaScript
Executable File
export default {
|
|
name: 'Rocq Prover',
|
|
type: 'programming',
|
|
aceMode: 'text',
|
|
extensions: ['.v', '.coq'],
|
|
languageId: 69,
|
|
tmScope: 'source.coq',
|
|
aliases: ['coq', 'rocq'],
|
|
color: '#d0b68c',
|
|
}
|