verify.c

• 1. Overview
• 2. Tangled Files
• 3. The Core Verify Function (WIP)
• 4. Verification in Scheme