Lectures related to Logic Programming Techniques: Automated Proof Search and Unification

Covers the simply typed lambda calculus, focusing on its syntax, semantics, and type system properties such as progress and preservation.

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

Explores historical mathematical proofs, decision problems, deductive systems, probabilistic and quantum proofs, and interactive proof systems.

Covers the integration of differential forms on smooth manifolds, including the concepts of closed and exact forms.

Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.

Covers the Fourier inversion formula, exploring its mathematical concepts and applications, emphasizing the importance of understanding the sign.