medical robot example models and proof outline
Merge branch 'master' of github.com:keymaerad/KeYmaeraD
Merge branch 'master' of github.com:keymaerad/KeYmaeraD
Merge branch 'master' of github.com:keymaerad/KeYmaeraD
Merge branch 'master' of github.com:keymaerad/KeYmaeraD
Merge branch 'master' of github.com:keymaerad/KeYmaeraD
Merge branch 'master' of github.com:keymaerad/KeYmaeraD
Merge branch 'master' of github.com:keymaerad/KeYmaeraD
Merge branch 'master' of github.com:keymaerad/KeYmaeraD
Merge branch 'master' of github.com:keymaerad/KeYmaeraD
completed 3D surgical robot proof quantifying over boundaries