Video 1: Relativized quantifiers and counterexamples
Video 2: Natural deduction example
Video 3: Another natural deduction example
Video 4: One more natural deduction example
Video 5: Equality in first order logic
Video 6: Syntax of first order logic in Lean
Video 7: Quantifier rules in Lean