Jump to content

Talk:Safety and liveness properties

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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)[reply]