Update README.md

README.md

@@ -14,10 +14,10 @@ tags:
 <img src="https://raw.githubusercontent.com/InternLM/InternLM/main/assets/logo.svg" width="200"/>
   <div> </div>
   <div align="center">
-    <b><font size="5">InternLM-Step-Prover</font></b>
+    <b><font size="5">InternLM-Math</font></b>
     <sup>
       <a href="https://internlm.intern-ai.org.cn/">
-        <i>
+        <i><font size="4">HOT</font></i>
       </a>
     </sup>
     <div> </div>
@@ -29,13 +29,14 @@ A state-of-the-art LEAN4 step prover.
 </div>
 
 # Dialogue Example
-### Input
+```
+### Input Example
 DECL MyNat.mul_pow
 GOAL a b n : N
 ⊢ (a * b) ^ n = a ^ n * b ^ n
-### Output
+### Output Example
 PROOFSTEP induction n with t Ht
-
+```
 
 # Performance