A repository for working through some DS&A implementations from the infamous CLRS Algorithms book.

Eventually, it would be nice to go into the proofs and do them in Lean or Coq. For now though, will try to avoid proofs and exercises unless the exercises are practical implementation differences instead of just theoretical stuff.