Notes from Marktoberdorf Tutorial

This note describes the KeYmaera X tutorial at the Marktoberdrof Summer School.

• Slides
• Examples
• KeYmaera X Website (with download links)
• Notes on Differential Ghosts
• Web instance
• Case Studies
• Source Code