Update app.py

app.py

@@ -5,7 +5,7 @@ import sqlparse
 
 st.set_page_config(page_title="Proofsteps from Proof-Pile-V2", layout="wide")
 
-st.markdown("<h1 style='text-align: center; color: #00BFFF;'>BIRD SQL inspection 🔍</h1>", unsafe_allow_html=True)
+st.markdown("<h1 style='text-align: center; color: #00BFFF;'>Proofsteps Insepction 🔍</h1>", unsafe_allow_html=True)
 
 st.markdown("""
 Here you can inspect proofsteps from [Proof-Pile-V2](https://huggingface.co/datasets/EleutherAI/proof-pile-2).