A logic of proofs for differential dynamic logic: Toward independently checkable proof certificates for dynamic logics

@inproceedings{DBLP:conf/cpp/FultonP16,
	pdf = {pub/proofterms.pdf},
	slides = {pub/proofterms-slides.pdf},
	author = {['Nathan Fulton', 'André Platzer']},
	title = {A Logic of Proofs for Differential Dynamic Logic:
               Toward Independently Checkable Proof Certificates for Dynamic Logics},
	booktitle = {Proceedings of the 2016 Conference on Certified Programs and Proofs,
               CPP 2016, St. Petersburg, FL, USA, January 18-19, 2016},
	pages = {110-121},
	year = {2016},
	doi = {10.1145/2854065.2854078},
	editor = {['Jeremy Avigad', 'Adam Chlipala']},
	publisher = {ACM}
}