[PPT] - Interfacing with Proof Assistants for Domain Specific Programming PowerPoint Presentation