Zulip Chat Archive
Stream: general
Topic: Running lake exe shake in projects depending on mathlib
Notification Bot (May 09 2025 at 21:07):
Yaël Dillies has marked this topic as unresolved.
Last updated: Feb 28 2026 at 14:05 UTC
Yaël Dillies has marked this topic as unresolved.
Last updated: Feb 28 2026 at 14:05 UTC