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

Nathan Fulton, Andr Platzer

Browse the full CPP paper archive.