Update app.py

app.py

@@ -30,7 +30,7 @@ from pathlib import Path
 
 def load_proof_repository():
     """Load the proof repository from the repository file"""
-    repo_path = Path("naturalproofs_trench.json")
+    repo_path = Path("Lebl-theorems-all.json")
     try:
         with open(repo_path, "r") as f:
             return json.load(f)