coq-logo.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->

<svg
   xmlns:dc="http://purl.org/dc/elements/1.1/"
   xmlns:cc="http://creativecommons.org/ns#"
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:svg="http://www.w3.org/2000/svg"
   xmlns="http://www.w3.org/2000/svg"
   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
   width="136mm"
   height="96mm"
   viewBox="0 0 481.88975 340.15745"
   id="svg3471"
   version="1.1"
   inkscape:version="0.91 r13725"
   sodipodi:docname="coq-logo.svg">
  <defs
     id="defs3473" />
  <sodipodi:namedview
     id="base"
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1.0"
     inkscape:pageopacity="0.0"
     inkscape:pageshadow="2"
     inkscape:zoom="0.35"
     inkscape:cx="375"
     inkscape:cy="520"
     inkscape:document-units="px"
     inkscape:current-layer="layer1"
     showgrid="false"
     inkscape:window-width="1920"
     inkscape:window-height="1158"
     inkscape:window-x="0"
     inkscape:window-y="0"
     inkscape:window-maximized="1"
     units="mm">
    <inkscape:grid
       type="xygrid"
       id="grid3350" />
  </sodipodi:namedview>
  <metadata
     id="metadata3476">
    <rdf:RDF>
      <cc:Work
         rdf:about="">
        <dc:format>image/svg+xml</dc:format>
        <dc:type
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
        <dc:title></dc:title>
      </cc:Work>
    </rdf:RDF>
  </metadata>
  <g
     inkscape:label="Layer 1"
     inkscape:groupmode="layer"
     id="layer1"
     transform="translate(0,-712.20447)">
    <g
       transform="translate(55.334652,718.4197)"
       id="g29">
      <g
         id="g31">
        <path
           style="fill:#fbb03b"
           inkscape:connector-curvature="0"
           d="m 75.123,316.95 c 30.189,-25.979 69.467,-41.689 112.394,-41.689 42.946,0 82.222,15.711 112.409,41.689 36.736,-31.619 60.002,-78.453 60.002,-130.727 0,-95.234 -77.19,-172.431 -172.411,-172.431 -95.202,0 -172.399,77.196 -172.399,172.431 -10e-4,52.274 23.267,99.108 60.005,130.727 z"
           id="path33" />
      </g>
      <g
         id="g35">
        <path
           style="fill:#f7931e"
           inkscape:connector-curvature="0"
           d="m 78.077,52.992 c -38.44,31.624 -62.96,79.562 -62.96,133.231 0,52.273 23.268,99.107 60.006,130.727 30.189,-25.979 69.467,-41.689 112.394,-41.689 42.946,0 82.222,15.711 112.409,41.689 36.736,-31.619 60.002,-78.453 60.002,-130.727 0,-53.668 -24.516,-101.604 -62.955,-133.229 C 263.043,39.756 226.129,32.48 187.513,32.48 148.907,32.481 112.002,39.755 78.077,52.992 Z"
           id="path37" />
      </g>
      <g
         id="g39">
        <path
           style="fill:#f15a24"
           inkscape:connector-curvature="0"
           d="m 17.044,160.391 c -1.266,8.428 -1.927,17.052 -1.927,25.832 0,52.273 23.268,99.107 60.006,130.727 30.189,-25.979 69.467,-41.689 112.394,-41.689 42.946,0 82.222,15.711 112.409,41.689 36.736,-31.619 60.002,-78.453 60.002,-130.727 0,-8.78 -0.66,-17.404 -1.927,-25.832 -48.485,-33.338 -107.202,-52.865 -170.488,-52.865 -63.275,0 -121.987,19.528 -170.469,52.865 z"
           id="path41" />
      </g>
      <g
         id="g43">
        <path
           style="fill:#c1272d"
           inkscape:connector-curvature="0"
           d="m 187.514,188.2 c -61.591,0 -117.81,22.995 -160.571,60.854 10.352,26.43 27.026,49.688 48.181,67.896 30.189,-25.979 69.467,-41.689 112.394,-41.689 42.946,0 82.222,15.711 112.409,41.689 21.153,-18.207 37.826,-41.465 48.178,-67.896 C 305.34,211.195 249.116,188.2 187.514,188.2 Z"
           id="path45" />
      </g>
    </g>
    <g
       transform="translate(55.334652,718.4197)"
       id="g47">
      <g
         id="g49">
        <path
           style="fill:#231f20"
           inkscape:connector-curvature="0"
           d="M 168.682,199.844 C 154.356,119.735 92.565,147.51 92.565,147.51 l 18.677,22.439 c -9.491,1.182 -16.188,4.192 -16.188,4.192 l 17.944,21.562 c -7.403,4.334 -12.421,8.756 -12.421,8.756 l 73.497,64.616 c 0.279,-16.583 -0.686,-30.011 -2.573,-40.812 -0.339,-11.093 -1.315,-20.497 -2.819,-28.419 z"
           id="path51" />
      </g>
    </g>
    <g
       transform="translate(55.334652,718.4197)"
       id="g53">
      <path
         style="clip-rule:evenodd;fill:#231f20;fill-rule:evenodd"
         inkscape:connector-curvature="0"
         d="m 236.208,127.495 c 0.294,-0.484 0.567,-0.973 1.022,-1.465 0.972,-1.049 1.041,-3.094 1.137,-4.707 0.391,-6.389 -2.414,-11.828 -9.468,-13.747 -2.52,-0.687 -4.51,-1.696 -6.056,-2.916 l 10.014,-17.64 -15.092,6.076 c -0.027,-4.576 1.375,-8.544 1.659,-9.16 2.827,-6.139 0.348,-14.266 -6.021,-15.592 -7.338,-1.529 -15.097,-1.175 -22.667,-1.602 -0.045,0.461 5.93,7.656 5.93,7.656 -10.34,0 -20.666,0 -32.243,0 4.95,4 8.815,7.007 12.671,10.047 -0.147,0.285 -0.303,0.66 -0.454,0.953 -10.907,0 -21.813,0 -33.503,0 9.27,18.811 23.92,25.719 43.9,22.824 l 0.942,2.235 c -0.182,-0.026 -0.094,-0.038 -0.094,-0.038 l 0,160.105 c 96.998,-82.393 79.004,-123.331 48.323,-143.029 z"
         id="path55" />
    </g>
    <g
       transform="translate(55.334652,718.4197)"
       id="g57">
      <g
         id="g59">
        <path
           style="clip-rule:evenodd;fill:#f15a24;fill-rule:evenodd"
           inkscape:connector-curvature="0"
           d="m 210.578,98.292 c 0,2.259 -1.834,4.093 -4.1,4.093 -2.26,0 -4.094,-1.834 -4.094,-4.093 0,-2.265 1.834,-4.099 4.094,-4.099 2.266,0.001 4.1,1.835 4.1,4.099 z"
           id="path61" />
      </g>
    </g>
  </g>
</svg>