max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Std/Data/HashMap
History
Kim Morrison e4a2c3d8f0
feat: interim implementation of HashMap.modify/alter (#5880) 
These implementations could be made more efficient by promoting them to
primitive operations, but I propose installing these in the meantime to
encourage users to avoid non-linearity problems.
2024-11-01 01:21:21 +00:00
..
AdditionalOperations.lean
Basic.lean feat: interim implementation of HashMap.modify/alter (#5880) 2024-11-01 01:21:21 +00:00
Lemmas.lean feat: adding Insert/Singleton/Union instances for HashMap/Set.Raw (#5590) 2024-10-03 06:26:21 +00:00
Raw.lean feat: adding Insert/Singleton/Union instances for HashMap/Set.Raw (#5590) 2024-10-03 06:26:21 +00:00
RawLemmas.lean feat: adding Insert/Singleton/Union instances for HashMap/Set.Raw (#5590) 2024-10-03 06:26:21 +00:00