Hi,

Is it possible to run Lean locally on mac if I want to use it with python? I know Visual Studio does not support python on mac. Is there instructions on how to run lean on Visual Studio Code for example?

thanks!