Abstract typeintro
Cache
Also called Cache (abstract type), cache abstract data type, cache memory.
Bounded key-value store that holds recently or frequently used items.
Bounded key-value store that holds recently or frequently used items.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag AH1HP7 Edit this page History Report an error