[isabelle] Looking for Recommendations: Laptop Hardware for Isabelle



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




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.