Add coq-lsp for the Coq Proof Assistant (#303)

Author: ejgallego

index.html

@@ -614,6 +614,33 @@ <h4>Language servers</h4>
             </ul>
           </td>
         </tr>
+        <tr>
+          <th>
+            <a href="https://coq.inria.fr/">Coq</a>
+          </th>
+          <td>
+            <a href="https://github.com/ejgallego/coq-lsp">Coq LSP Team</a>
+          </td>
+          <td class="repo">
+            <a href="https://github.com/ejgallego/coq-lsp">coq-lsp</a>
+          </td>
+          <td class="warning"></td>
+          <td class="success">
+            <span class="glyphicon glyphicon-ok" aria-hidden="true"></span>
+          </td>
+          <td class="warning"></td>
+          <td class="warning"></td>
+          <td class="warning"></td>
+          <td class="success">
+            <span class="glyphicon glyphicon-ok" aria-hidden="true"></span>
+          </td>
+          <td>
+            <ul class="list-unstyled text-nowrap">
+              <li>Outline view</li>
+              <li>Extensions: info panel request, file progress notification, performance report</li>
+            </ul>
+          </td>
+        </tr>
         <tr>
           <th>
             <a href="https://cucumber.io/">Cucumber (Gherkin)</a>