Lectures related to Inductive Propositions: Understanding Evaluation in Coq

Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.

Covers fundamental programming concepts such as algorithms, variables, and expressions in C++.

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

Introduces the principle of mathematical induction through an example.

Explores formal verification using the LISA proof assistant and the OCBSL Equivalence Checker.

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Explores how George Boole's mathematical approach revolutionized logic and laid the foundation for modern computing.

Covers the concept of outer measure and properties of measurable sets.