User Documentation - LS-Lab/KeYmaeraX-release GitHub Wiki

Documentation for students and other new KeYmaera X users:

• KeYmaera X Tutorial
• Informal Syntax and Semantics
• Common Mistakes
• Differential Ghosts
• ODE Tools
• Writing Faster Proofs
• Project Ideas
• Soundness Proofs for Rules (Mostly relevant to students)
• Approximations with Taylor Series
• Getting Started with KeYmaera X Development