aristotle

Prove Lean 4 theorems using the Aristotle proof synthesis service. Use when the user mentions "arist