The KeYmaera X proof IDE: Concepts on usability in hybrid systems theorem proving

@INPROCEEDINGS{DBLP:conf/fide/MitschP16,
	pdf = {pub/webui.pdf},

  author    = {Stefan Mitsch and
               Andr{\'e} Platzer},
  title     = {The {KeYmaera X} proof {IDE}:
               Concepts on usability in hybrid systems theorem proving},
  booktitle = {3rd Workshop on Formal Integrated Development Environment},
  pages     = {67-81},
  year      = {2016},
  doi       = {10.4204/EPTCS.240.5},
  editor    = {Catherine Dubois and
               Paolo Masci and
               Dominique M{\'{e}}ry},
  publisher = {Open Publishing Association},
  series    = {EPTCS},
  volume    = {240},
}```