Lectures related to Formal proof

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

Explores the verification of programs using Stainless, focusing on functional correctness, proof assistants, and automation of reasoning tasks.

Covers translating natural language to propositional logic and proving tautologies.

Discusses a successful scale-up project in Uganda, integrating drug safety officers and improving child healthcare.

Covers the LISA proof assistant's codebase organization, kernel package, FOL formalization, and proof package.

Introduces Coq and focuses on proving the theorem and_comm step by step.

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