ChatGPT - Lean 4 Cursor Setup