Closed cwlucas41 closed 1 year ago
in the Fairness in TLA+ section, it was unclear to me thatWF_v and SF_v were for weakly and strongly fair until I looked them up in the manual.
WF_v
SF_v
in the Fairness in TLA+ section, it was unclear to me that
WF_vandSF_vwere for weakly and strongly fair until I looked them up in the manual.