Pantograph/examples/Example/Example.lean

import Aesop

-- Ensure that Aesop is running
example : α → α :=
  by aesop
-												example: Calling aesop (partial)

											
										
										
											2024-05-17 20:45:29 -07:00
+								import Aesop
-												example: Calling aesop

											
										
										
											2024-05-17 20:53:34 -07:00
 								-- Ensure that Aesop is running
 								example : α → α :=
 								  by aesop