Commit 2025-03-31 00:17 2ca9a55a

View on Github →

feat(Cache): extend argument-parsing to allow module names and file names (#21822) Accept both Mathlib.Init and Mathlib/Init.lean as arguments.

Estimated changes