Open elefthei opened 1 year ago
CTL is a layered definition, some low-level things should be made opaque to hide the complexity.
ktrans
entailsF
CTL is a layered definition, some low-level things should be made opaque to hide the complexity.
ktrans
entailsF