Talk:Safety and liveness properties
This article has not yet been rated on Wikipedia's content assessment scale. |
or {{{1}}}[edit]
I left the long math formulas using instead of {{{1}}}. However, not there is inconsistency. Sometimes, SP is in italics, sometimes not. I don't like this. I will investigate, slowly but steadily, putting all math in DavidGries (talk) 21:46, 19 October 2022 (UTC) DavidGries (talk) 21:46, 19 October 2022 (UTC)