Session Differential_Dynamic_Logic
View
theory dependencies
View
document
View
outline
Theories
Ids
Lib
Syntax
Denotational_Semantics
Axioms
Frechet_Correctness
Static_Semantics
Coincidence
Bound_Effect
Differential_Axioms
USubst
USubst_Lemma
Uniform_Renaming
Pretty_Printer
Proof_Checker
Differential_Dynamic_Logic