import { require_coq } from './chunk-T2OUL57Y.js';
import './chunk-CFLTNKIO.js';

var coqMFZXSTZR = require_coq();

export { coqMFZXSTZR as default };