12 lines
299 B
Python
Executable File
12 lines
299 B
Python
Executable File
#!/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/Aristotle/Basic.lean")
|
|
print(f"Solution saved to: {solution_path}")
|
|
|
|
asyncio.run(main())
|