Logic and Modeling 2021: Lecture 6

Video 6: Syntax of first order logic in Lean

Video 7: Quantifier rules in Lean