Does lean currently come with GUI support? Are there any instructions on how to set it up if it exists.

Author