Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This lecture introduces structural induction on trees, extending the concept beyond lists. It explains the general induction principle for proving properties of tree structures, using IntSets as an example and demonstrating the laws of IntSet implementation.