Lectures related to Trusted computing base

Covers exception handling in Python, including try, raise, except, else, and finally blocks, with examples.

Covers the definition of an inductive data type in Coq and how to build proofs interactively using tactics.

Explores phase portraits in 2D systems and the dynamics of predator-prey models.

Covers Python list manipulation and comprehension, emphasizing memory representation and mutability.

Explains the merge sort algorithm, its correctness, and time complexity compared to other sorting algorithms.