Hello,

I am trying to run LEAN on my desktop and I am running into trouble. In summary, nothing is working and throws over 50 error messages and 600 warning messages. Attached is

https://imgur.com/a/P6ifrij

a picture of the error messages I am receiving. 

Author