Lecture 2# This lecture covers some basic tools that you might need when developing a program synthesis system.
