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: May 02 2025 at 03:31 UTC