Update app.py

app.py

@@ -24,7 +24,7 @@ list_languages = ['Lean Proofsteps', 'Isabelle Proofsteps']
 chosen_language = st.sidebar.selectbox(
     label="Select a Proof Language", options=list_languages, index=0
 )
-
+print(chosen_language)
 samples = load_data(chosen_language)
 st.sidebar.header('Sample Selection')
 index_example = st.sidebar.number_input(f"Choose a sample from the existing {len(samples)} samples:", min_value=0, max_value=max(0, len(samples)-1), value=0, step=1)