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