This video covers some of the basics of the LPL programs used in our course: Tarski's World, Fitch, Boole, and Submit.
No download links available.
