Skip to content

feat: set MATHLIB_CACHE_GET_URL to cache.mathlib.org for Mathlib cache downloads - #202

Open
marcelolynch wants to merge 3 commits into
leanprover:mainfrom
marcelolynch:mathlib-cache-get-url
Open

feat: set MATHLIB_CACHE_GET_URL to cache.mathlib.org for Mathlib cache downloads#202
marcelolynch wants to merge 3 commits into
leanprover:mainfrom
marcelolynch:mathlib-cache-get-url

Commits

  1. Commits on Oct 22, 2026