Logic and Modeling 2021: Lecture 8

Video 5: rewrite and calc mode

Video 6: calc and rewrite on the integers