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 and
               Andr{\'e} 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 and
               Adam Chlipala},
  publisher = {{ACM}},
}```