Zulip Chat Archive Stream: lean4 Topic: Lean won't invalidate its import cache Robert Maxton (Jun 20 2025 at 01:39): (deleted) Last updated: Dec 20 2025 at 21:32 UTC