Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Explores the verification of programs using Stainless, focusing on functional correctness, proof assistants, and automation of reasoning tasks.
Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.
Introduces Coq and focuses on proving the theorem and_comm step by step.
Covers the basics of induction, syntax, abstract vs. concrete syntax, and operational semantics for Booleans.
