search

tlaplus / Examples

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

fixed failed proof in Bakery-Boulangerie/Bakery.tla #72

Closed muenchnerkindl closed 1 year ago

muenchnerkindl commented 1 year ago

One proof failed in Bakery.tla but works when given a longer timeout period.