WIP binomial heaps

vmsantos · May 9, 2022 · 7224f13 · 7224f13
1 parent 6d62287
commit 7224f13
Show file tree

Hide file tree

Showing 4 changed files with 674 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -25,7 +25,7 @@ Besides Mathcomp, this also requires the [Equations](https://mattam82.github.io/
 14. [Priority Queues](src/priority.v)
 15. [Leftist Heaps](src/leftist.v)
 16. [Priority Queues via Braun Trees](src/braun_queue.v)
-17. Binomial Heaps
+17. [Binomial Heaps](src/binom_heap.v)
 ### Part IV: Advanced Design and Analysis Techniques
 18. Dynamic Programming
 19. Amortized Analysis

diff --git a/_CoqProject b/_CoqProject
@@ -18,4 +18,5 @@ src/trie.v
 src/huffman.v
 src/priority.v
 src/leftist.v
-src/braun_queue.v
+src/braun_queue.v
+src/binom_heap.v