Zulip Chat Archive
Stream: general
Topic: Lean Mac OS Ventura (Intel) CPU usage
Notification Bot (Mar 14 2023 at 16:29):
This topic was moved to #lean4 > Lean Mac OS Ventura (Intel) CPU usage by Sebastian Ullrich.
Last updated: Dec 20 2023 at 11:08 UTC