"use strict";

var _interopRequireDefault = require("@babel/runtime/helpers/interopRequireDefault");

Object.defineProperty(exports, "__esModule", {
  value: true
});
exports["default"] = void 0;

var _coq = _interopRequireDefault(require("highlight.js/lib/languages/coq"));

var _default = _coq["default"];
exports["default"] = _default;