Formal proof

Related lectures (28)

Page 1 of 3

Covers the rigorous proof of differential equations, emphasizing accuracy and precision.

Explores the WireGuard Protocol, a modern VPN replacement for IPsec and OpenVPN, focusing on encrypted tunnelling and security properties.

Explores formal proofs, satisfiability problems, and inductive invariants using SAT queries in sequential circuits.

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

Explores the importance of soundness and completeness in a propositional proof system.

Explores implications and equivalences in linear algebra through examples and formal proofs.

Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.

Covers the concept of formal proof systems, their structure, and soundness.

Explores Lagrange multipliers, minimax theorems, and convex subsets in optimal transport theory.

Covers Hoare Logic, its foundations, applications, and significance in program verification.