import { require_coq } from './chunk-E7UROAZQ.mjs'; import './chunk-JRLSWQMA.mjs'; var coqTVUA7OYX = require_coq(); export { coqTVUA7OYX as default };