Skip to content

v0.6180332

Compare
Choose a tag to compare
@liuxinyu95 liuxinyu95 released this 10 Dec 13:00
· 1395 commits to algoxy since this release

Main changes in this release (English edition):

  • The formal proof of functional AVL tree insertion algorithm is moved to Appendix C;
  • Added functional AVL tree deletion algorithm in Chapter 4;
  • Added imperative AVL tree deletion algorithm in Appendix C.