Logic and Modeling 2021: Lecture 3

Video 6: More intro and elim rules in Lean

Video 7: or elimination and proof by contradiction examples