Logic and Modeling 2021: Lecture 3

Video 3: and, implies, and not in Lean

Video 4: First examples of Lean proofs

Video 5: Negation in Lean