Mathlib keeps rebuilding even after I `lake exe cache get` Understanding the Persistent Rebuilding Issue with Mathlib Problem Scenario You may have encountered a frustrating issue while working with Mathlib in Lean Desp 2 min read 20-10-2024 20