TY  - RPRT
TI  - The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving
AU  - Stefan Mitsch
AU  - André Platzer
PY  - 2017
DO  - 10.4204/eptcs.240.5
UR  - https://arxiv.org/abs/1701.08469
ID  - 1701.08469
ER  -