Arm on Windows

Stream: general

[Vasily Ilin]

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]

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]

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]

Testing problems on other operating systems.