Zulip Chat Archive Stream: lean4 Topic: Lean won't invalidate its import cache Robert Maxton (Jun 20 2025 at 01:39): (deleted) Last updated: Feb 28 2026 at 14:05 UTC