update

app.py

@@ -977,6 +977,9 @@ with gr.Blocks(
     with gr.Accordion("Supported query types(click for details): Informalized statement, User question, Proof state, Statement definition", open=False):
         gr.Markdown(INSTRUCTIONS_MD)
 
+    gr.Markdown("Currently using Mathlib v4.16.0")
+
+
 
     with gr.Row():
         query_box   = gr.Textbox(label="Query", lines=4, max_lines=20,