HashMap🔗

HashMap is a collection of key-value pairs that provides efficient lookup, insertion, and deletion. In Lean 4, the most commonly used implementation is Std.HashMap.

1. Basic Operations
2. Memoization with StateM
3. Application: Advanced Expression Analysis