This repository contains correctness and complexity proofs of some interesting algorithms and data structures that are thaught in advanced level university courses.
Most of the material is adapted from the courses MIT 6.851: Advanced Data Structures and Stanford CS166: Data Structures.