Issue on page /chapters/ds/rb.html

cs3110 / textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

Other

738 stars 134 forks source link

Issue on page /chapters/ds/rb.html #180

Open clarksmr opened 7 months ago

clarksmr commented 7 months ago

The proof of logarithmic bounds for RB tree operations isn't in the textbook. In SP24 I added a new proof to lecture. Next I should propagate that to OP.