prog

Dijkstra's Predicate Transfomer Semantics

3 2021-10-22 21:55: But the whole w \in wp(S, Q or R) does not make any sense in itself, since the value of wp is a predicate, not a set. You failed to type-check your proof.
18: VIP:

do not edit these