Lectures related to Agda (programming language)

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.

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

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

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

Explores Lie algebra representations, emphasizing SU(2) and traceless matrices, explained by Alfredo Glioti.