aristotle

Run Aristotle automated theorem prover on Lean files to fill sorry placeholders. Use when you have a