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.
ZeroBone/ApplicationsOfCompactness
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|