Update app.py

app.py

@@ -149,7 +149,7 @@ Output a rigorous proof or meaningful insight even when a full proof is impossib
 iface = gr.Interface(
     fn=theorem_prover, 
     inputs=gr.Textbox(label="Enter Formula (e.g., x > 5 and y < 10)"), 
-    outputs=gr.HTML(label="Result"),  # Output as HTML
+    outputs=gr.Markdown(label="Result"),  # Output as HTML
     title="Theorem proving agent",
     description="Enter a logical formula using Z3 syntax to check its satisfiability."
 )