Logic and Modeling 2021: Lecture 3

Video 1: Syntax and Semantics

Video 2: Interacting with Lean