+ +
+

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 +
+ + + +
+
+ + + +