Update app.py

app.py

@@ -17,8 +17,7 @@ def llm_response(text):
 
 def theorem_prover(theorem):
   theorem_llm = llm_response(f'''You are an advanced mathematical reasoning model specializing in formal theorem proving. Your task is to analyze a given theorem, 
-  determine the most appropriate proof strategy, and construct a rigorous proof using formal proof assistants such as Lean, Coq, or Isabelle. If a proof is not 
-  possible, identify gaps, suggest refinements, or provide counterexamples.
+  determine the most appropriate proof strategy, and construct a rigorous proof. If a proof is not  possible, identify gaps, suggest refinements, or provide counterexamples.
 
   User Prompt:
 Input: