lean4-htt

History

Kim Morrison b41019e8e8 feat: HashSet.partition (unverified) (#5370 ) `Aesop` is depending on (a custom-rolled) `Set` data structure with `.partition`.		2024-09-20 06:05:10 +00:00
..
AdditionalOperations.lean	feat: Std.HashMap (#4583 )	2024-07-05 10:14:20 +00:00
Basic.lean	feat: HashSet.partition (unverified) (#5370 )	2024-09-20 06:05:10 +00:00
Lemmas.lean	feat: (`DHashMap`\|`HashMap`\|`HashSet`).(`getKey?`\|`getKey`\|`getKey!`\|`getKeyD`) (#5244 )	2024-09-13 05:40:10 +00:00
Raw.lean	feat: (`DHashMap`\|`HashMap`\|`HashSet`).(`getKey?`\|`getKey`\|`getKey!`\|`getKeyD`) (#5244 )	2024-09-13 05:40:10 +00:00
RawLemmas.lean	feat: (`DHashMap`\|`HashMap`\|`HashSet`).(`getKey?`\|`getKey`\|`getKey!`\|`getKeyD`) (#5244 )	2024-09-13 05:40:10 +00:00