Video 1: semantic equivalence

Video 2: satisfiability, validity, consistency

Video 3: FOL translations and interplay of quantifiers

Video 4: equality in Lean

Video 5: rewrite and calc mode

Video 6: calc and rewrite on the integers

Q&A Session