Initial and Final Proof Attempts

Initial Proof Attempt

• Try conventional automated reasoning first!

Final Proof Attempt

• Try conventional automated reasoning last!
• Use conventional automated reasoning to build proof