Structure Mathlib.Tactic.LibrarySearch.CachedData

Modification history

2023-05-22 03:13

Mathlib/Tactic/LibrarySearch.lean

feat: add a global cache for the rewrites tactic (#4110)

Deleted Mathlib.Tactic.LibrarySearch.CachedData View on Github →

2023-04-27 06:19

Mathlib/Tactic/LibrarySearch.lean

feat: instant library_search (#3404) …

Added Mathlib.Tactic.LibrarySearch.CachedData View on Github →