"Language, Proof and Logic": Submit Program Basics

This video covers the basics of using the Submit program to send exercises (completed in Tarski's World, Boole, and Fitch) to the GradeGrinder.