This repository contains the source code for my presentation about various applications of the compactness theorem of propositional and first-order logic. Both the beamer and the handout compiled versions can be downloaded from the releases page.