diff --git a/coq.json b/coq.json
new file mode 100644
index 0000000..4a8720e
--- /dev/null
+++ b/coq.json
@@ -0,0 +1,21 @@
+{
+    "problemMatcher": [
+        {
+            "owner": "coq-problem-matcher",
+            "pattern": [
+                {
+                    "regexp": "^File \"([^ \"]+)\", line (\\d+), characters (\\d+-\\d+):",
+                    "file": 1,
+                    "line": 2,
+                    "column": 3
+                },
+                {
+                    "regexp": "^(Warning|Error):\\s*(.*?)(?:\\s*\\[(.*)\\])?$",
+                    "severity": 1,
+                    "message": 2,
+                    "code": 3
+                }
+            ]
+        }
+    ]
+}