diff --git a/internal/lsp/detect-language.go b/internal/lsp/detect-language.go
index e8bf605f..3ed55c4e 100644
--- a/internal/lsp/detect-language.go
+++ b/internal/lsp/detect-language.go
@@ -120,6 +120,8 @@ func DetectLanguageID(uri string) protocol.LanguageKind {
 		return protocol.LangTypeScript
 	case ".tsx":
 		return protocol.LangTypeScriptReact
+	case ".v":
+		return protocol.LanguageKind("coq")
 	case ".xml":
 		return protocol.LangXML
 	case ".xsl":