Zulip Chat Archive

Stream: general

Topic: Arm on Windows


Vasily Ilin (Feb 24 2025 at 10:47):

I am considering buying an arm-on-windows laptop, like Dell XPS 13. Does anyone have experience running Lean on arm-on-windows? Is it smooth?

Kim Morrison (Feb 24 2025 at 13:23):

Slightly different data point, but related: I've had no problems running Lean under Parallels (both Windows and Linux) on Apple Silicon.

Ching-Tsun Chou (Feb 26 2025 at 01:33):

Just curious: why do you run Lean in a VM on Apple silicon? I have no problem running Lean on an M1 MacBook Air directly.

Kim Morrison (Feb 26 2025 at 02:17):

Testing problems on other operating systems.


Last updated: May 02 2025 at 03:31 UTC