Initialize Proof Session
Absolute path to the Lean 4 project root directory
Absolute path to the .lean file containing the lemma
Name of the theorem/lemma to prove