Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Looking for Recommendations: Laptop Hardware f...


view this post on Zulip Email Gateway (Aug 22 2022 at 19:49):

From: Peter Lammich <lammich@in.tum.de>
Hi List,

I need to replace my hardware that I use for Isabelle, currently a Dell
Lattitude E6540 Laptop with 16Gib Ram and 512GiB SSD drive, connected
to a docking station and two 24'' full HD monitors.

I understand that I need UHD monitors and 32GiB RAM to be on the safe
side for the next Isabelle release. I prefer Linux. Any
recommendations/experience reports?

Thanks in advance,
  Peter Lammich


Last updated: Mar 29 2024 at 04:18 UTC