Session Differential_Game_Logic
View
theory dependencies
View
document
View
outline
Theories
Lib
Identifiers
Syntax
Denotational_Semantics
Static_Semantics
Coincidence
USubst
Ids
Axioms
Differential_Game_Logic