@Inproceedings{EPTCS338.8, author = {Mitsch, Stefan}, year = {2021}, title = {Implicit and Explicit Proof Management in KeYmaera X}, editor = {Proen\c{c}a, Jos\'e and Paskevich, Andrei}, booktitle = {{\rm Proceedings of the 6th Workshop on} Formal Integrated Development Environment, {\rm Held online, 24-25th May 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {338}, publisher = {Open Publishing Association}, pages = {53-67}, doi = {10.4204/EPTCS.338.8}, }