[PPT] - Formal proof: current progress and outstanding challenges John PowerPoint Presentation