• About Me
• Project Overview
• The GSoC Workflow
• Base Classes and Diagram Drawing
• Automated Proof of Diagram Commutativity
• Miscellaneous Remarks
• Further Plans