max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Std/Data
History
Leonardo de Moura bac91b9b5b chore: remove arbitrary
2022-01-15 12:14:27 -08:00
..
AssocList.lean chore: fix codebase and tests 2021-06-29 17:14:52 -07:00
BinomialHeap.lean chore: remove arbitrary 2022-01-15 12:14:27 -08:00
DList.lean chore: fix codebase and tests 2021-06-29 17:14:52 -07:00
HashMap.lean feat: add erw tactic back as a macro 2021-09-12 19:29:12 -07:00
HashSet.lean feat: add erw tactic back as a macro 2021-09-12 19:29:12 -07:00
PersistentArray.lean chore: remove arbitrary 2022-01-15 12:14:27 -08:00
PersistentHashMap.lean refactor: dependent instances annotations 2021-08-01 10:58:22 -07:00
PersistentHashSet.lean refactor: dependent instances annotations 2021-08-01 10:58:22 -07:00
Queue.lean chore: fix codebase and tests 2021-06-29 17:14:52 -07:00
RBMap.lean feat: add Trie.findPrefix 2021-12-15 11:24:11 -08:00
RBTree.lean feat: add RBTree.toArray 2021-09-17 15:59:35 -07:00
Stack.lean chore: fix codebase and tests 2021-06-29 17:14:52 -07:00