search

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities
Other
1.29k stars 200 forks source link

Update EWD998.tla #128

Closed kuppe closed 7 months ago

kuppe commented 7 months ago

[Doc]

Signed-off-by: Markus Alexander Kuppe github.com@lemmster.de