Logic and Modeling 2021: Lecture lean_extras

Video 1: automation

Video 2: properties of programs

Video 3: a simple database example