
This folder contains several simple example proofs of a purely logical nature
without significant mathematical content.

