Add forall() tutorial and example and index - #165

Add forall() tutorial and example and index#165

juliannab-5 wants to merge 4 commits into

lab-v2:mainlab-v2/pyreason:mainfrom

juliannab-5:forall-tutorialjuliannab-5/pyreason:forall-tutorialCopy head branch name to clipboard