Update app.py

app.py

@@ -5,6 +5,8 @@ from transformers import pipeline
 
 # Load the gated model
 model_name = "RickyDeSkywalker/TheoremLlama"
+st.write(os.environ.get("HF_TOKEN"))
+"""
 generator = pipeline('text-generation', model=model_name, token=os.environ.get("HF_TOKEN"))
 
 # Streamlit app
@@ -24,4 +26,4 @@ if st.button("Generate Lean 4 Code"):
     # Display the generated code
     st.code(generated_code, language='lean')
 
-st.markdown("Developed by [Your Name]")
+st.markdown("Developed by [Your Name]")"""