From 20a6e027749efa5f506e63c4f92ee25a46c4019e Mon Sep 17 00:00:00 2001
From: Stefan Kebekus <kebekus@users.noreply.github.com>
Date: Sat, 25 Oct 2025 07:19:27 +0200
Subject: [PATCH] Cleanup

---
 .gitignore       | 2 ++
 run_aristotle.py | 4 +++-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index bfb30ec..f03d2a0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,3 @@
 /.lake
+/asyncio
+/Basic_aristotle.lean
diff --git a/run_aristotle.py b/run_aristotle.py
index 68e5d42..88facb7 100755
--- a/run_aristotle.py
+++ b/run_aristotle.py
@@ -1,9 +1,11 @@
+#!/usr/bin/python
+
 import asyncio
 import aristotlelib
 
 async def main():
     # Prove a theorem from a Lean file
-    solution_path = await aristotlelib.Project.prove_from_file("/home/kebekus/Mathe/aristotle/Basic.lean")
+    solution_path = await aristotlelib.Project.prove_from_file("/home/kebekus/Mathe/aristotle/Aristotle/Basic.lean")
     print(f"Solution saved to: {solution_path}")
 
 asyncio.run(main())