fix: rename mathlib-cache -> get-mathlib-cache and improve interface#29
Merged
austinletson merged 1 commit intomainfrom 25-inconsistency-with-mathlib-cache-inputMay 19, 2024
+15-14
mathlib-cache -> get-mathlib-cache and improve interface#29