Prove You Can Win: 20250108 05:14 Update

Some code options are added in this version. Notation is supported now. (See tutorial page 3) Some text error is fixed.