How To Set Up Isabelle On VSCode (Mac)

A quick tutorial to open isabelle on a VSCode style editor