Using KeYmaera X

Model list
Model details
Proof list
Proof tree view
Proof by Pointing
Pick from suggested tactics
Proof by Browsing