Update app.py

app.py

@@ -147,7 +147,7 @@ Output a rigorous proof or meaningful insight even when a full proof is impossib
   return theorem_llm  
 
 iface = gr.Interface(
-    fn=verify_formula, 
+    fn=theorem_prover, 
     inputs=gr.Textbox(label="Enter Formula (e.g., x > 5 and y < 10)"), 
     outputs=gr.HTML(label="Result"),  # Output as HTML
     title="Theorem proving agent",