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

Nathan Fulton André Platzer A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics. 110-121 2016 CPP https://doi.org/10.1145/2854065.2854078 https://www.wikidata.org/entity/Q130850221 conf/cpp/2016 db/conf/cpp/cpp2016.html#FultonP16