search

tlaplus / Examples

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

fixed proofs of LamportMutex spec #71

Closed muenchnerkindl closed 1 year ago

muenchnerkindl commented 1 year ago

The title says it: fixing broken proofs in specifications/lamport_mutex.