svelte-rune-highlight/dist/languages/coq.js

A highlight library for Svelte 5 with Rune

import register from 'highlight.js/lib/languages/coq';

export const coq = { name: 'coq', register };
export default coq;