diff options
| author | Aymeric Fromherz | 2023-07-17 16:09:33 +0200 |
|---|---|---|
| committer | Aymeric Fromherz | 2023-07-17 16:09:33 +0200 |
| commit | 510e409b551f876a28f93f869e108f3f9e761212 (patch) | |
| tree | fca5a1d7d1fdd6550316d6fb8d01cc40b4ea4a8b /tests/lean/Hashmap.lean | |
| parent | d45c6ed9e8049b81170c3e6950043d08006ba9f2 (diff) | |
With @sonmarcho, some Lean proofs for hashmaps + comments about possible improvements
Diffstat (limited to '')
| -rw-r--r-- | tests/lean/Hashmap.lean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/lean/Hashmap.lean b/tests/lean/Hashmap.lean index 41630205..35034754 100644 --- a/tests/lean/Hashmap.lean +++ b/tests/lean/Hashmap.lean @@ -1 +1,2 @@ import Hashmap.Funs +import Hashmap.Properties |