
This folder is the central repository for all example proofs, proof sequences,
formula sequences, etc.

