Polymorphism and ProofsCovers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Merge Sort: Divide-and-ConquerIntroduces Merge Sort, a divide-and-conquer algorithm for efficient array sorting, discussing correctness, runtime analysis, linear-time merging, and recurrence solving techniques.
Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.
Recursively Defined FunctionsIntroduces recursively defined functions and demonstrates how to compute values and prove properties using mathematical induction.
