Lectures related to Inductive Propositions: Reasoning and Evaluation Techniques

Introduces Coq, covering defining propositions, proving theorems, and using tactics.

Logical Formulas and Types: Understanding the Kerry Howard Isomorphism

Explores the Kerry Howard Isomorphism, translating logical propositions into types and terms, with a focus on proof by induction and exam preparation.

Verifying Programs with Stainless: How Stainless Works

Explores the inner workings of the Stainless framework, emphasizing verification-aware transformations and dependent type checking.

Recurrence: Induction

Covers the principle of induction for natural numbers and the importance of caution in its application.

Propositions and Proofs

Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.

Jordan Curve Theorem

Covers the proof of the Jordan Curve Theorem and the properties of embedded spheres.

Cartesian Product and Induction

Introduces Cartesian product and induction for proofs using integers and sets.

Mathematical Induction: Principle and Example

Introduces the principle of mathematical induction through an example.