Def Tactic.Cache.get

Modification history

2022-11-03 22:33
Mathlib/Tactic/Cache.lean
chore: update std4 11-03 (#535) …
Deleted Tactic.Cache.getView on Github →
2022-10-10 21:29
Mathlib/Tactic/Cache.lean
chore: long lines (#460)
Modified Tactic.Cache.getView on Github →
2022-06-13 18:37
Mathlib/Tactic/Cache.lean
chore: bump to 2022-06-13 (#284)
Modified Tactic.Cache.getView on Github →
2021-11-09 08:17
Mathlib/Tactic/Cache.lean
chore: bump to lean4:nightly-2021-11-07 (#86) …
Modified Tactic.Cache.getView on Github →
2021-10-13 09:00
Mathlib/Tactic/Cache.lean
feat: librarySearch (#65) …
Added Tactic.Cache.getView on Github →