max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Std/Data
History
Jannis Limperg 7e56c4dc0b refactor: simplify BinomialHeap.Heap
2021-08-17 10:19:12 -07:00
..
AssocList.lean chore: fix codebase and tests 2021-06-29 17:14:52 -07:00
BinomialHeap.lean refactor: simplify BinomialHeap.Heap 2021-08-17 10:19:12 -07:00
DList.lean chore: fix codebase and tests 2021-06-29 17:14:52 -07:00
HashMap.lean chore: enforce naming convention for theorems 2021-08-07 12:48:38 -07:00
HashSet.lean chore: enforce naming convention for theorems 2021-08-07 12:48:38 -07:00
PersistentArray.lean chore: enforce naming convention for theorems 2021-08-07 12:48:38 -07: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 chore: fix codebase and tests 2021-06-29 17:14:52 -07:00
RBTree.lean chore: fix codebase and tests 2021-06-29 17:14:52 -07:00
Stack.lean chore: fix codebase and tests 2021-06-29 17:14:52 -07:00