Fix unsupported coq in Gradio

app.py

@@ -114,13 +114,13 @@ with gr.Blocks(title="Rocq Annotator (ZeroGPU, FP8)") as demo:
     with gr.Row():
         prefix_box = gr.Code(
             label="Prefix (context; auto-filled from dropdown, then editable)",
-            language="coq",
+            language=None,
             interactive=True,
             lines=18,
         )
         target_box = gr.Code(
             label="Target snippet (contains [PREDICT_STATEMENT] / [PREDICT_DOCSTRING])",
-            language="coq",
+            language=None,
             interactive=True,
             lines=18,
             placeholder="Paste the code to annotate…",